Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
141	Distributed Synthesis for Alternating-Time Logics⋆ Sven Schewe and Bernd Finkbeiner Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:36:18 Tree automaton Finite-state machine Automata theory Theoretical computer science Computer science
142	JMLR: Workshop and Conference Proceedings 34:207–217, 2014 Proceedings of the 12th ICGI Induction of Directed Acyclic Word Graph in a Bioinformatics Task Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Applied mathematics Computer science Directed acyclic word graph Deterministic finite automaton Algorithm Machine learning String searching algorithm DFA minimization Finite-state machine Automata theory Models of computation Theoretical computer science
143	JMLR: Workshop and Conference Proceedings 34:182–192, 2014 Proceedings of the 12th ICGI An example distribution for probabilistic query learning of simple deterministic languages Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Symbol Complementation of Büchi automaton
144	Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Technion Israel Institute of Technology Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-06-11 13:49:54 Abstraction Applied mathematics Computer science Programming paradigms Data management Abstract interpretation Deterministic finite automaton Formal verification Abstract object Automata theory Theoretical computer science Models of computation
145	Tighter Bounds for the Determinisation of Bu hi Automata? Sven S hewe University of Liverpool sven.s heweliverpool.a .uk Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2011-03-14 06:40:19 Ω-automaton Mathematics Automaton Applied mathematics Tree Infinite tree automaton Muller automaton Automata theory Computer science Tree automaton
146	JMLR: Workshop and Conference Proceedings 34:167–181, 2014 Proceedings of the 12th ICGI Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Automata theory Statistics Models of computation Metric geometry Ultrametric space Statistical hypothesis testing Regular expression String Deterministic finite automaton Formal languages Theoretical computer science Mathematics
147	Cellular Automata as a Model for Dynamic Leaf Structure by Nisansala Yatapanage Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2014-01-14 06:46:55 Lattice gas automaton Science Theoretical computer science Reversible cellular automaton Asynchronous cellular automaton Cellular automata Cellular automaton Mathematics
148	Solving Parity Games in Practice Oliver Friedmann and Martin Lange Dept. of Computer Science, University of Munich, Germany Abstract. Parity games are 2-player games of perfect information and infinite duration that have Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:17 Parity game Quantum field theory Quantum mechanics Determinacy Ω-automaton Automata theory Parity Solver Physics Game theory Finite model theory
149	The Modal µ-Calculus Caught Off Guard Oliver Friedmann1 and Martin Lange2 1 2 Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:12 Ω-automaton Method of analytic tableaux Symbol Partition Well-formed formula Mathematics Logic Automata theory
150	Semi-Automatic Distributed Synthesis Bernd Finkbeiner and Sven Schewe Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany {finkbeiner\|schewe}@cs.uni-sb.de Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:39:26 Ω-automaton Tree automaton Finite-state machine Alternating finite automaton Automata theory Theoretical computer science Computer science

UPDATE