Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
561	Polynomial Interrupt Timed Automata B´eatrice B´erard1 , Serge Haddad2 , Claudine Picaronny2 , Mohab Safey El Din1 , and Mathieu Sassolas3 1 arXiv:1504.04541v1 [cs.FL] 17 Apr 2015 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-05-05 05:47:04 Algebraic geometry Polynomial Valuation
562	Real-Time Training of Team Soccer Behaviors Keith Sullivan and Sean Luke Department of Computer Science, George Mason University 4400 University Drive MSN 4A5, Fairfax, VAUSA {ksulliv2, sean}@cs.gmu.edu Add to Reading List Source URL: cs.gmu.edu Language: English - Date: 2012-05-02 19:23:57 Humanoid robot Agent-based model RoboCup Multi-agent system Behavior-based robotics A New Kind of Science Systems theory Ethology Science Cellular automata Robot
563	Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2013-03-30 11:16:35 Theoretical computer science Automated theorem proving Non-classical logic Substructural logic Calculus of structures Logic programming International Colloquium on Automata Languages and Programming Linear logic Logic Formal sciences Mathematical logic
564	Learning Stochastic Finite Automata for Musical Style Recognition? Colin de la Higuera, Fr´ed´eric Piat and Fr´ed´eric Tantini1 EURISE, Universit´e de Saint-Etienne, 23 rue du Docteur Paul Michelon, 42023 Saint-Etie Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2009-09-07 03:02:20 Formal languages Computer science Applied mathematics Combinatorics on words Probabilistic automaton Finite-state machine Finite state transducer Nondeterministic finite automaton Deterministic finite automaton Automata theory Models of computation Theoretical computer science
565	PDF Document Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2009-03-05 12:47:57 Nested word Words Pushdown automaton Context-free language Symbol Finite-state machine Mathematics Linguistics Computing Automata theory Models of computation Formal languages
566	JFLAP2TikZ Andrew Mertz and William Slough Introduction JFLAP1 is a popular Java program for experimenting with finite state machines, Turing machines and other concepts from Formal Languages and Automata Theory. Version Add to Reading List Source URL: ctan.sciserv.eu Language: English - Date: 2014-07-22 07:31:56 Theoretical computer science Computer science PGF/TikZ Turing machine Finite-state machine Pushdown automaton Models of computation Theory of computation Automata theory
567	On Deciding Topological Classes of Deterministic Tree Languages Filip Murlak ? Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2008-12-09 11:42:04 Tree automaton Omega language Regular language Deterministic automaton Ω-automaton Büchi automaton Automata theory Theoretical computer science Computer science
568	Some Research Challenges and Remarks on CP Nicolas Beldiceanu Automata and Learning Question Is there a declarative way for describing concisely a generator of automata (or MDDs) that have a very regular structure? Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2012-10-12 20:10:27 ECLiPSe Propagator Graph Computing Constraint programming Software engineering Computer programming
569	Weighted Automata and Concurrency Akash Lal Microsoft Research, India Tayssir Touili, Nicholas Kidd and Tom Reps ACTS II, Chennai Mathematical Institute Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2010-02-09 04:11:59 London W postcode area Geography of England
570	A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer, Thomas Chatain, Stefan Haar LSV – ENS Cachan, INRIA, CNRS – France Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2011-01-31 10:48:50 Petri net Formal language Computer science Mathematics Applied mathematics Models of computation Concurrency Diagrams

UPDATE