Construction of Real-Time Oracle Using Timed Automata

Codice QR

Construction of Real-Time Oracle Using Timed Automata

None

Salvato in:

Dettagli Bibliografici
Autori principali:	Babamir, Seyed Morteza, Dehkordi, Mehdi Borhani
Natura:	Elettronico Capitolo di libro
Lingua:	inglese
Pubblicazione:	IntechOpen 2012
Soggetti:	Physical Sciences, Engineering and Technology
Accesso online:	https://www.intechopen.com/chapters/35319
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Linearly Time Efficiency in Unattended Wireless Sensor Networks
di: Babamir, Faezeh Sadat, et al.
Pubblicazione: (2012)

A Framework of Variant Logic Construction for Cellular Automata
di: Zheng, Jeffrey Z.J., et al.
Pubblicazione: (2011)

Biophysical Modeling using Cellular Automata
di: Pfeifer, Bernhard
Pubblicazione: (2011)

Segmentation with Learning Automata
di: Cuevas, Erik, et al.
Pubblicazione: (2011)

Real-Time Algorithms of Object Detection Using Classifiers
di: Juranek, Roman, et al.
Pubblicazione: (2012)

Precise Real-Time Positioning Using Network RTK
di: El-Mowafy, Ahmed
Pubblicazione: (2012)

Studies on Population Dynamics Using Cellular Automata
di: Jafelice, Rosana Motta, et al.
Pubblicazione: (2011)

Real-Time Control in Robotic Systems
di: Simpkins, Alex
Pubblicazione: (2012)

Real-Time Robotic Hand Control Using Hand Gestures
di: Raheja, Jagdish Lal, et al.
Pubblicazione: (2012)

Cryptography in Quantum Cellular Automata
di: Amiri, Mohammad Amin, et al.
Pubblicazione: (2011)

Cellular Automata for Bus Dynamics
di: Huang, Ding-wei, et al.
Pubblicazione: (2011)

Optimized Method for Real Time Nonlinear Control
di: Rafic, Younes, et al.
Pubblicazione: (2012)

Handling Overload Conditions in Real-Time Systems
di: Buttazzo, Giorgio C.
Pubblicazione: (2012)

Real-Time Analysis to Evaluate Crystallization Processes
di: Silva, João F.Cajaiba da, et al.
Pubblicazione: (2012)

Real-Time Dual-Microphone Speech Enhancement
di: Abdelaziz, Trabelsi, et al.
Pubblicazione: (2012)

Specification and Validation of Real-Time Systems Using UML Sequence Diagrams
di: Huzar, Zbigniew, et al.
Pubblicazione: (2012)

Point Automata Method for Dendritic Growth
di: Lorbiecka, Agnieszka Zuzanna, et al.
Pubblicazione: (2011)

Cellular Automata for Medical Image Processing
di: Wongthanavasu, Sartra
Pubblicazione: (2011)

Cellular Automata Modeling of Biomolecular Networks
di: Bonchev, Danail
Pubblicazione: (2011)

Cellular Automata Modelling of the Diffusion of Innovations
di: Kocsis, Gergely, et al.
Pubblicazione: (2011)

Propositional Proof Complexity and Cellular Automata
di: Cavagnetto, Stefano
Pubblicazione: (2011)

Quality of Service Scheduling in the Firm Real-Time Systems
di: Queudet-Marchand, Audrey, et al.
Pubblicazione: (2012)

Real-Time Optimal Guidance and Obstacle Avoidance for UMVs
di: Yakimenko, Oleg A., et al.
Pubblicazione: (2011)

Real-Time Video Face Recognition for Embedded Devices
di: Costache, Gabriel, et al.
Pubblicazione: (2011)

Real-Time Stress Detection by Means of Physiological Signals
di: Santos, Alberto De, et al.
Pubblicazione: (2011)

Real Time Robust Embedded Face Detection Using High Level Description
di: Khattab, Khalil, et al.
Pubblicazione: (2011)

Modeling of Macrostructure Formation during the Solidification by using Frontal Cellular Automata
di: Svyetlichnyy, Dmytro S.
Pubblicazione: (2011)

Mesoscopic Modelling of Metallic Interface Evolution Using Cellular Automata Model
di: Taleb, Abdelhafed., et al.
Pubblicazione: (2011)

Cellular Automata based Artificial Financial Market
di: Ding, Jingyuan
Pubblicazione: (2011)

Real-Time Operating Systems and Programming Languages for Embedded Systems
di: Orozco, Javier D., et al.
Pubblicazione: (2012)

Real-Time Motion Processing Estimation Methods in Embedded Systems
di: Botella, Guillermo, et al.
Pubblicazione: (2012)

Real-Time Low-Latency Estimation of the Blinking and EOG Signals
di: ́nski, Robert Krupi, et al.
Pubblicazione: (2012)

Enabling Real-Time Business Intelligence by Stream Data Mining
di: Fong, Simon, et al.
Pubblicazione: (2011)

Real-Time Monitoring of Volatile Organic Compounds in Hazardous Sites
di: Manes, Gianfranco, et al.
Pubblicazione: (2011)

Conservative Reversible Elementary Cellular Automata and their Quantum Computations
di: Al-Rabadi, Anas N.
Pubblicazione: (2011)

Quantum Cellular Automata Controlled Self-Organizing Networks
di: Gyongyosi, Laszlo, et al.
Pubblicazione: (2011)

Cellular-Automata-Based Simulation of the Settlement Development in Vienna
di: Koenig, Reinhard, et al.
Pubblicazione: (2011)

Network Systems Modelled by Complex Cellular Automata Paradigm
di: Topa, Pawel
Pubblicazione: (2011)

Real-Time Distance Measurement for Indoor Positioning System Using Spread Spectrum Ultrasonic Waves
di: Suzuki, Akimasa, et al.
Pubblicazione: (2012)

Real-time Multi-Face Recognition and Tracking Techniques Used for the Interaction between Humans and Robots
di: Fahn, Chin-Shyurng, et al.
Pubblicazione: (2011)