Automaton

Results: 1066



#Item
901Artificial life / Cybernetics / Computability theory / Austrian nobility / John von Neumann / Cellular automaton / Genetic algorithm / Self-organization / Gene / Science / Mathematics / Applied mathematics

On Self-Reproduction and Evolvability? Tim Taylor Institute of Perception, Action and Behaviour, Division of Informatics, University of Edinburgh, 5 Forrest Hill, Edinburgh EH1 2QL, Scotland.

Add to Reading List

Source URL: www.tim-taylor.com

Language: English - Date: 2013-05-01 16:53:36
902Tree automaton / Tree / PSPACE-complete / Tbox / Automata theory / Theoretical computer science / Computer science

Blocking Automata for PSpace DLs Franz Baader1 , Jan Hladik1 , and Rafael Pe˜ naloza2? 1 Theoretical Computer Science, TU Dresden, Germany

Add to Reading List

Source URL: www.ceur-ws.org

Language: English - Date: 2007-05-22 01:39:22
903Website / Embedded pushdown automaton / Web content / Web development / Digital media / Software / Content management systems / World Wide Web / Web content management system

EPDA Taking the next step with Easysite Case Study Background

Add to Reading List

Source URL: www.easysitecms.net

Language: English - Date: 2012-11-06 11:18:43
904Computer science / Mathematics / Conjunctive query / Nondeterministic finite automaton / Deterministic finite automaton / Structure / Algorithm / Computational complexity theory / Finite-state machine / Automata theory / Models of computation / Theoretical computer science

Conjunctive Queries for EL with Role Composition Markus Krötzsch and Sebastian Rudolph Institute AIFB, Universität Karlsruhe, Germany {mak|sru}@aifb.uni-karlsruhe.de Abstract. EL++ is a rather expressive description l

Add to Reading List

Source URL: www.ceur-ws.org

Language: English - Date: 2007-05-22 01:39:22
905Nils Aall Barricelli / Computability theory / Theoretical computer science / Evolutionary computation / Artificial life / Cellular automaton / Alan Turing / John von Neumann / Mathematical and theoretical biology / Science / Mathematics / Academia

Digital Genesis: Computers, Evolution and Artificial Life Tim Taylor1,2 , Alan Dorin1 and Kevin Korb1 1 2

Add to Reading List

Source URL: www.tim-taylor.com

Language: English - Date: 2014-03-27 03:33:39
906Applied mathematics / Computer science / Deterministic pushdown automaton / Pushdown automaton / Bisimulation / Graph / Nested word / Automata theory / Models of computation / Theoretical computer science

1 Book Title Book Editors IOS Press, 2003

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2009-05-20 09:50:25
907Symbol / Pushdown automaton / Constructible universe / Ordinal number / Automata theory / Models of computation / Deterministic pushdown automaton

Deciding DPDA Equivalence is Primitive Recursive Colin Stirling

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2009-05-20 09:52:43
908Computer science / Model checking / Finite-state machine / Tree automaton / End / Model theory / Simply typed lambda calculus / Graph / Configuration graph / Theoretical computer science / Automata theory / Mathematics

Dependency Tree Automata Colin Stirling [removed]

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2010-12-22 09:12:53
909Alternating tree automata / Nested word / Ω-automaton / Tree automaton / Alternating finite automaton / Automata theory / Theoretical computer science / Computer science

Dependency Tree Automata Colin Stirling School of Informatics

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2009-01-05 09:54:02
910Mathematical optimization / Computer science / Cellular automata / Cellular automaton / Evolutionary algorithms / Artificial life / Genetic algorithm / Evolutionary computation / Algorithm / Applied mathematics / Theoretical computer science / Mathematics

Evolution of Parallel Cellular Machines The Cellular Programming Approach

Add to Reading List

Source URL: www.cs.bgu.ac.il

Language: English - Date: 2004-10-11 05:38:54
UPDATE