Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
861	libalf: the Automata Learning Framework⋆ (Extended Abstract) Benedikt Bollig1 , Joost-Pieter Katoen2 , Carsten Kern2 , Martin Leucker3, Daniel Neider2 , and David R. Piegdon2 1 Add to Reading List Source URL: libalf.informatik.rwth-aachen.de Language: English - Date: 2009-10-20 05:06:15 Theoretical computer science Models of computation Computer science Cybernetics Finite-state machine Learning automata Algorithm Computational learning theory Deterministic finite automaton Machine learning Automata theory Applied mathematics
862	regex2dot A regex to automaton compiler Diogo Sousa Universiteit Utrecht Add to Reading List Source URL: orium.pw Language: English - Date: 2012-01-24 13:16:41 Models of computation Computer science Applied mathematics Deterministic finite automaton Regular language Regular expression Finite-state machine String operations Automata theory Formal languages Theoretical computer science
863	Reducing the Wrapping Effect in Flowpipe Construction using Pseudo-Invariants (Work in Progress) Stanley Bak [removed] United States Air Force Research Lab - Information Directorate - Rome, NY, USA Add to Reading List Source URL: stanleybak.com Language: English - Date: 2014-04-14 22:54:28 Automata theory Systems theory Science Dynamical systems Hybrid automaton Hybrid system Invariant Reachability State space Control theory Differential equations Mathematics
864	Distributed locomotion algorithms for self-reconfigurable robots operating on rough terrain Zack Butler and Daniela Rus Dept. of Computer Science Dartmouth College, Hanover, NH, USA Add to Reading List Source URL: www.cs.rit.edu Language: English - Date: 2004-06-24 17:10:22 Robotics Autonomous robot Robot Locomotion Module Modularity Cellular automaton Applied mathematics Mathematics Self-reconfiguring modular robot Autonomy Motion planning
865	Visualizing Evolutionary Dynamics of Self-Replicators Using Graph-based Genealogy Chris Salzberg1 , Antony Antony1 , and Hiroki Sayama2 1 2 Add to Reading List Source URL: artis.phenome.org Language: English - Date: 2005-03-17 23:58:11 Artificial life Nature Science Cybernetics Evolution Self-replication Evolutionary algorithm Cellular automaton Phenotype Polymorphism Genetics Biology
866	An XML-based Scripting Language for Chain-type Modular Robotic Systems Ying Zhang Alex Golovinsky Mark Yim Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2007-05-25 16:20:50 Robot Robotics Finite-state machine Automaton Automata theory Self-reconfiguring modular robot Technology Automation
867	Generic Decentralized Control for a Class of Self-Reconfigurable Robots Zack Butler∗, Keith Kotay∗, Daniela Rus∗ and Kohji Tomita∗† ∗ † Department of Computer Science National Institute of Advanced Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2007-02-15 15:19:26 Robot T cell Autonomous robot Cellular automata Applied mathematics Mathematics Mechanical engineering Cellular automaton Self-reconfiguring modular robot Motion planning
868	Using Shape Grammar to Derive Cellular Automata Rule Patterns Thomas H. Speller, Jr.a, Daniel Whitneya Edward Crawleyb a Add to Reading List Source URL: www.wolframscience.com Language: English - Date: 2007-06-08 10:10:58 Mathematics Linguistics Cellular automaton Shape grammar Grammar L-system Formal grammar Syntax Genetic algorithm Formal languages Science Cybernetics
869	Automata and Complexity in Multiple-Quantifier Sentence Verification Jakub Szymanik ([removed]) Institute for Logic, Language and Computation, University of Amsterdam Shane Steinert-Threlkeld (Shanest@stanford. Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-05-20 06:27:06 Science Automata theory Quantification Models of computation Formal languages Generalized quantifier Pushdown automaton Cognitive science Finite-state machine Logic Mathematical logic Semantics
870	Probabilistic semantic automata in the verification of quantified statements Jakub Dotlaˇcil ([removed]) Center for Language and Cognition, University of Groningen Jakub Szymanik ([removed]) In Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2014-04-30 09:18:26 Quantification Predicate logic Semantics Model theory Nondeterministic finite automaton S0 Finite-state machine Pushdown automaton Automata theory Models of computation Logic

UPDATE