Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
131	Ramsey Goes Visibly Pushdown Oliver Friedmann1 , Felix Klaedtke2 , and Martin Lange3 1 LMU Munich, 2 ETH Zurich, and 3 University of Kassel Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-02-13 07:24:13 Nested word Deterministic pushdown automaton Pushdown automaton Connection Complementation of Büchi automaton Automata theory Theoretical computer science Computer science
132	Saarland University Faculty of Natural Sciences and Technology I Department of Computer Science Bachelor’s Thesis Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:26:51 Büchi automaton Automata theory Models of computation Deterministic finite automaton
133	A comparative analysis of different Dilemma Zone countermeasures on signalized intersections’ safety based on Cellular Automaton Model TRBYina Wu1, Yaoxian Ding2, Mohamed Abdel-Aty1, Bin Jia2 Add to Reading List Source URL: safersim.nads-sc.uiowa.edu Language: English - Date: 2015-02-02 13:28:30 Road transport Traffic law Road safety Traffic flow Headlight flashing Traffic Standard deviation Risk Logistic regression Transport Land transport Statistics
134	Notes on Counting with Finite Machines Dmitry Chistikov Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbrücken, Germany Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2014-12-11 10:15:34 Theoretical computer science Computer science Nested word Pushdown automaton Deterministic pushdown automaton Turing machine Nondeterministic finite automaton SC Deterministic finite automaton Automata theory Theory of computation Models of computation
135	JMLR: Workshop and Conference Proceedings 34:79–93, 2014 Proceedings of the 12th ICGI An Abstract Framework for Counterexample Analysis in Active Automata Learning Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Computer science Software engineering Deterministic finite automaton Nondeterministic finite automaton Symbol Counterexample Regular expression Automata theory Models of computation Theoretical computer science
136	Universit¨at des Saarlandes Naturwissenschaftlich-Technische Fakult¨at 1 Fachrichtung Informatik Bachelor-Studiengang Informatik Bachelor’s Thesis Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-29 06:47:38 Applied mathematics Tree automaton Finite-state machine Alternating finite automaton Powerset construction Formal language Muller automaton Automata theory Theoretical computer science Computer science
137	12 Informed learners T Understanding is compression, comprehension is compression! Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2010-07-20 08:11:04 Computer science Software engineering Finite-state machine GOLD Computing Automata theory Models of computation Deterministic finite automaton
138	Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an eﬀective decision method Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics CTL* Method of analytic tableaux Formal language Model checking Temporal logic Finite-state machine Tree automaton Powerset construction Automata theory Theoretical computer science Applied mathematics
139	A Decision Procedure for CTL∗ Based on Tableaux and Automata Oliver Friedmann1 , Markus Latte1 , and Martin Lange2 1 2 Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:08 Method of analytic tableaux Theoretical computer science Applied mathematics Ω-automaton Formal language Automata theory Mathematics Automated theorem proving
140	5 Representing distributions over strings with automata and grammars T Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2010-07-20 08:11:02 Computer science Applied mathematics Nondeterministic finite automaton Markov chain Probabilistic automaton Deterministic finite automaton Finite-state machine Automata theory Models of computation Theoretical computer science

UPDATE