Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
661	Verifying time and communication costs of rule-based reasoners Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-06-18 10:06:58 Ω-automaton Symbol Automata theory Quantum information theory
662	int. j. geographical information science, 2000, vol. 14, no. 5, 455± 474 Research Article Development of Voronoi-based cellular automata—an integrated dynamic model for Geographical Information Systems WENZHONG SHI a Add to Reading List Source URL: www.lsgi.polyu.edu.hk Language: English - Date: 2005-11-30 21:35:00 Discrete geometry Voronoi diagram Spatial analysis Delaunay triangulation Cellular automaton Geographic information system Statistics Diagrams Computational geometry
663	Sequential Synthesis with Co-Büchi Specifications Guoqiang Wang, Alan Mishchenko, Robert Brayton, and Alberto Sangiovanni-Vincentelli EECS Dept. University of California Berkeley, California, 94720, USA {geraldw, alanmi Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-10-02 15:04:33 Büchi automaton Muller automaton Ω-automaton Finite-state machine Powerset construction Nondeterministic finite automaton Generalized Büchi automaton Automata theory Theoretical computer science Computer science
664	Efficient Solution of Language Equations Using Partitioned Representations Alan Mishchenko, Robert Brayton, Roland Jiang Tiziano Villa Nina Yevtushenko Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2004-12-03 17:36:01 Computer science Finite-state machine Nondeterministic finite automaton Powerset construction Nested word Automata theory Theoretical computer science Models of computation
665	A Cellular Automata Approach for Discrete-Time Distributed Parameter Systems Samira EL YACOUBI Department of Mathematics and Computer Science MEPS laboratory, University of Perpignan. France Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2007-09-07 10:44:24 Cellular automata Cellular automaton Systems Systems theory Cybernetics Distributed parameter system Controllability Automata-based programming Control theory Science Automata theory
666	Elena Irwin Assistant Professor Department of Agricultural, Environmental, and Development Economics Ohio State University Research on Agent-Based Interactions My research focuses on spatially disaggregate, economic mode Add to Reading List Source URL: www.csiss.org Language: English - Date: 2004-12-13 09:15:17 Self-organization Agent-based model Economics Systems science Science Cellular automaton Instrumental variable
667	A comparison between developmental and direct encodings An update of the GECCO 2006 Paper “The Dead State” Simon Harding Julian F. Miller Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-06-26 14:29:02 Applied mathematics Evolutionary algorithms Developmental biology Philosophy of biology Cellular automaton Artificial development Cellular differentiation Natural computing Complexity Science Biology Cybernetics
668	Verifying time and communication costs of rule-based reasoners Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib ⋆ University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-02-27 06:28:19 Quantum information theory Ω-automaton Symbol Epistemic modal logic Automata theory
669	1 Rapid Property Specification and Checking for Model-Based Formalisms Daniel Balasubramanian, Gabor Pap, Harmon Nine, Gabor Karsai Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2011-04-21 15:55:05 Software Model checkers Software testing Model checking Simulink Java Pathfinder SPIN model checker Constraint automaton Software verification Automata theory Theoretical computer science Computing
670	J.D. Lohn, J.A. Reggia, ``Automatic Discovery of Self-Replicating Structures in Cellular Automata,'' IEEE Transactions on Evolutionary Computation, vol. 1, no. 3, 1997, pp[removed]Automatic Discovery of Self-Replica Add to Reading List Source URL: cba.mit.edu Language: English - Date: 2011-12-13 18:50:13 Cellular automaton Self-replication Mathematics Genetic algorithm Cell Mutation Replication Von Neumann cellular automaton Von Neumann universal constructor Artificial life Biology Science

UPDATE