Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
181	Efficient Inclusion Testing for Simple Classes of Unambiguous ω-Automata Dimitri Isaaka , Christof L¨odinga a Informatik 7, RWTH Aachen, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 11:02:30 Ω-automaton Deterministic finite automaton Tree automaton Nondeterministic finite automaton Omega language Sequence Muller automaton Büchi automaton Automata theory Theoretical computer science Computer science
182	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
183	FREE WILL—EVEN FOR ROBOTS John McCarthy Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:13:58 Finite-state machine Nondeterministic finite automaton Computer chess Robot Chess Ω-automaton Automata theory Models of computation Games
184	Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:59 Symbol Structure Model theory Mathematics Logic Automata theory Models of computation Pushdown automaton
185	Boundary Growth in One-Dimensional Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-06-19 13:03:42 Rule 90 Rule 110 Mathematics Automata theory Reversible cellular automaton Cellular automata Cellular automaton Rule 30
186	Synchronization of One-way Connected Processors Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:58 CW complex Cellular automaton Cellular neural network Mathematics Cellular automata Firing squad synchronization problem
187	languages of infinite traces and deterministic asynchronous automata Namit Chaturvedi November 06, 2013 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-11-18 06:29:48 Applied mathematics Büchi automaton Regular language Formal language Regular expression Ω-automaton Automata theory Theoretical computer science Computer science
188	Asynchronous Logic Automata by David Allen Dalrymple B.S. Mathematics, University of Maryland Baltimore CountyB.S. Computer Science, University of Maryland Baltimore County Add to Reading List Source URL: www.cba.mit.edu Language: English - Date: 2011-12-13 18:32:08 Knowledge Neil Gershenfeld Cellular automaton Actor model Marvin Minsky MIT Media Lab Logic Ray Kurzweil Algorithm Science Transhumanists Academia
189	A Research and Development Program in Applications of Intelligent Automata to Reconnaissance -- Phase I (8 January 1965) Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2004-10-06 18:03:26 Automata theory Cellular automata Robot Mobile automaton
190	Eye-Tracking Study Using Cellular Automaton Patterns as Visual Stimuli: Implications for Current Models of Stimulus-Driven Selection Processes Anirudh Tiwathia Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:04 Neuropsychology Eye Attention Perception Cognitive neuroscience Salience Visual search Eye movement Feature integration theory Cognitive science Mind Neuroscience

UPDATE