Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
911	IDEA_Conferance_final_vector Add to Reading List Source URL: www.audimation.com Language: English - Date: 2014-06-11 18:09:11 Computer programming Database theory Automata theory Regular expression Test Database index Extensible Storage Engine Database Comparison of programming languages Computing Data management Pattern matching
912	Distributing Frequency-Dependent Data Stream Computations ∗ Sumit Ganguly † Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:31:51 Abstract algebra Combinatorics Permutation Streaming algorithm Ω-automaton Theoretical computer science Computability theory Computer science Normal distribution Mathematics Algorithms Automata theory
913	Proc. of the 37th ACL (Assoc. for Computational LinguisticsEfficient Parsing for Bilexical Context-Free Grammars and Head Automaton Grammars∗ Jason Eisner Add to Reading List Source URL: www.cs.jhu.edu Language: English - Date: 2012-09-12 23:56:12 Software engineering CYK algorithm Formal grammar Context-free grammar Parsing Automata theory Categorial grammar Formal languages Grammar Linguistics
914	IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 48, NO. 2, FEBRUARYFeedback Can Reduce the Specification Complexity of Motor Programs Add to Reading List Source URL: hrl.harvard.edu Language: English - Date: 2003-11-10 22:28:54 Computer science Formal methods Finite-state machine Nondeterministic finite automaton State Büchi automaton Automata theory Models of computation Theoretical computer science
915	LCAU.DOC Harold V. McIntosh Departamento de Aplicacion de Microcomputadoras, Instituto de Ciencias, Universidad Autonoma de Puebla, Apartado postal 461, 72000 Puebla, Puebla, Mexico. E-mail: Add to Reading List Source URL: delta.cs.cinvestav.mx Language: English - Date: 2005-04-27 20:34:59 Automaton Technology Mathematics Science Mobile automaton Reversible cellular automaton Cellular automata Cellular automaton Glider
916	McGill University School of Computer Science Game Research at McGill Formal Verification of Computer Narratives GR@M Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2009-06-10 18:11:01 Computer science Model checkers Concurrency Automata theory Diagrams NuSMV Petri net Model checking Formal verification Models of computation Theoretical computer science Applied mathematics
917	Is Prediction Possible? Chaotic Behavior of Multiple Equilibria Regulation Model in Cellular Automata Topology IOANNIS D. KATERELOS AND ANDREAS G. KOULOURIS Psychology Department, Panteion University, 17671, Athens, Gree Add to Reading List Source URL: hcs.ucla.edu Language: English - Date: 2007-05-21 17:54:05 Science Systems science Lyapunov exponent Systems theory Social simulation Cellular automaton Lyapunov stability Butterfly effect Self-organization Dynamical systems Stability theory Chaos theory
918	Varieties Generated by Certain Models of Reversible Finite Automata Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-02 15:22:32 Mathematics Semigroup theory Algebra Models of computation Category theory Semiautomaton Monoid Free monoid Regular language Abstract algebra Automata theory Formal languages
919	DEPTH (QUALIFIER) EXAMINATION IN THEORY OF COMPUTATION AND ALGORITHMS Spring, 2007 Automata, Languages and Complexity: 1. Regular languages (a) finite state automata (deterministic, nondeterministic) Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2007-02-09 21:44:57 Computability theory Models of computation Theory of computation Complexity classes John Hopcroft Alfred Aho Halting problem Turing machine Algorithm Theoretical computer science Applied mathematics Computer science
920	Modelling Urban Dynamics with Cellular Automata: A Model of the City of Heraklion Ivan Blecic1, Arnaldo Cecchini2, Poulicos Prastacos3, Giuseppe A. Trunfio4, Emmanuil Verigos5 1 Add to Reading List Source URL: itcnt05.itc.nl Language: English - Date: 2005-02-27 17:00:00 Energy conversion Cellular automaton Solar cells Cellular automata

UPDATE