Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
861	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican an Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2013-06-12 10:51:30 Applied mathematics Computer science Model checking Formal verification Finite-state machine Deterministic finite automaton Automated planning and scheduling Uppaal Model Checker Clock Models of computation Automata theory Theoretical computer science
862	PDF Document Add to Reading List Source URL: www.teachingsolutions.com.au Language: English - Date: 2013-07-11 19:32:17 Q-analogs Ring theory Automata theory
863	Oracle Grants Accounting (OGA) Understanding PTAEO Add to Reading List Source URL: www.dartmouth.edu Language: English - Date: 2014-07-16 12:57:58 Automata theory Pattern matching Regular expression Extensible Storage Engine SQL Computing Software engineering Data management
864	Annotating large lattices with the exact word error Rogier C. van Dalen, Mark J. F. Gales Department of Engineering, University of Cambridge, United Kingdom , Abstract Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2015-04-17 05:58:29 Formal methods Computer science Finite state transducer Finite-state machine Semiring Büchi automaton Automata theory Models of computation Theoretical computer science
865	Comparing C Code Trees Dr. Warren Toomey Faculty of IT, Bond Uni Add to Reading List Source URL: minnie.tuhs.org Language: English - Date: 2007-06-03 19:11:09 Automata theory Pattern matching Regular expression Unix C Linux kernel Computing Software Procedural programming languages
866	On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-15 16:01:47 Theoretical computer science Model theory Automata theory Regular language Presburger arithmetic Structure Decision problem Mathematics Mathematical logic Formal languages
867	Automated Identification of Cryptographic Primitives in Binary Code with Data Flow Graph Isomorphism Pierre Lestringant AMOSSYS Add to Reading List Source URL: www.amossys.fr Language: English - Date: 2015-05-07 04:40:19 Automata theory Pattern matching Regular expression C Software engineering Computing Computer programming
868	A theoretical formalism for analyzing agent-based models Add to Reading List Source URL: www.casmodeling.com Language: English Multi-agent systems Computing Artificial intelligence Automata theory Agent-based model DEVS Repast NetLogo Macroeconomic model Complex systems theory Scientific modeling Science
869	Finite automata and arithmetic J.-P. Allouche 1 ∗ Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2000-08-07 13:52:27 Sequence Thue–Morse sequence Baum–Sweet sequence Rudin–Shapiro sequence Monoid Mathematics Automata theory Automatic sequence
870	Oracle Pushdown Automata for Trees in Prefix Notation Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2010-02-18 04:52:05 Applied mathematics Factor oracle Finite-state machine SC Automata construction Automaton LL parser Nested word Deterministic pushdown automaton Automata theory Theoretical computer science Computer science

UPDATE