Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
531	On the Application of Formal Methods for Specifying and Verifying Distributed Protocols Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2008-05-27 20:54:36 Computer science I/O Automaton Consensus Algorithm Büchi automaton Automata theory Computing Theoretical computer science
532	Matching Trace Patterns with Regular Policies Franz Baader1, , Andreas Bauer2 , and Alwen Tiu2 1 TU Dresden, Germany [removed] 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-04-14 20:01:26 PSPACE-complete NP Regular language Deterministic finite automaton P FO Linear temporal logic Book:Theory Of Computation Theoretical computer science Complexity classes Applied mathematics
533	On the Automated Implementation of Time-based Paxos Using the IOA Compiler ∗ Chryssis Georgiou† Procopis Hadjiprocopiou‡ Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2010-09-22 05:54:39 Programming language theory Fault-tolerant computer systems Models of computation ALGOL 68 Consensus I/O Automaton Finite-state machine Computing Software engineering Automata theory
534	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto [removed],[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
535	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto [removed],[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
536	International Journal "Information Theories & Applications" – Sample Sheet 1 TESTING AI IN ONE ARTIFICIAL WORLD1 Dimiter Dobrev Add to Reading List Source URL: www.dobrev.com Language: English - Date: 2007-10-02 05:26:14 Mathematics Tic-tac-toe Artificial intelligence Technology Finite-state machine Ai Algorithm Automaton Games Automata theory Theoretical computer science
537	Section 14.2 A Hierarchy of Languages Context-Sensitive Languages A context-sensitive grammar has productions of the form xAz → xyz, where A is a nonterminal and x, y, z are strings of grammar symbols with y ≠ Λ. Th Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-12-18 13:22:30 Mathematics Applied mathematics Computability theory Complexity classes Recursively enumerable language Unrestricted grammar Computability Linear bounded automaton Context-sensitive language Formal languages Theoretical computer science Theory of computation
538	A Spatial Dynamic Model To Simulate Population Variations And Movements Within Fragmented Landscapes Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 17:39:31 Science Biogeography Population ecology Ecological restoration Biological dispersal Metapopulation Land Use Evolution and Impact Assessment Model Habitat fragmentation Cellular automaton Landscape ecology Biology Ecology
539	Efficient submatch addressing for regular expressions Master’s Thesis Ville Laurikari Add to Reading List Source URL: laurikari.net Language: English - Date: 2010-10-05 00:06:57 Models of computation Computer science Applied mathematics Deterministic finite automaton Regular expression Finite-state machine Regular language Nondeterministic finite automaton String searching algorithm Automata theory Formal languages Theoretical computer science
540	Submitted to the Journal of Computational Physics (in review O2/98) NOTE: Add to Reading List Source URL: www.ai.mit.edu Language: English - Date: 1998-10-09 12:41:32 Cellular automata Partial differential equations Computational physics Computational fluid dynamics Numerical analysis Cellular automaton Lattice gas automaton Computational electromagnetics Point process Calculus Mathematics Mathematical analysis

UPDATE