-automaton - PDFSEARCH.IO - Document Search Engine

-automaton
Results: 1066

#	Item
51	Emergence and Collapse of Order in Mutually Imitating Agents Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2015-07-07 15:35:12 Systems theory Cellular automata Cellular automaton Emergence Dynamical system Entropy Coupled map lattice
52	✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Hardware description languages Synchronous programming languages Model checkers Formal methods Timed automaton Esterel Model checking Uppaal Model Checker SIGNAL
53	Atlas of Science Visualizing What We Know Cartographic maps have guided our explorations for centuries, allowing us to navigate the world. Science maps have the potential to guide our search for knowledge in the same wa Add to Reading List Source URL: cns.iu.edu Language: English - Date: 2015-04-29 12:18:46 American Association for the Advancement of Science Katy Brner Indiana University Places & Spaces: Mapping Science Atlas Cellular automaton Informatics Information science
54	Annals of Mathematics and Artificial Intelligence–A boundary-sensitive approach to qualitative location Thomas Bittner a and John G. Stell b Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:08:04 Combinatorics Partition of a set Constructible universe Rough set Ordinal number Functional analysis -automaton
55	Foundations of XML Types: Tree Automata Pierre Genevès CNRS (slides mostly based on slides by W. Martens and T. Schwentick) University of Grenoble Alpes, 2015–2016 Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-12-15 06:39:05 Formal languages Tree automaton Binary tree Tree Regular tree grammar Parity Alphabet Arity Even
56	ICOHTEC NEWSLETTER www.icohtec.org No 123, JulyNewsletter of the International Committee for the Add to Reading List Source URL: www.icohtec.org Language: English - Date: 2015-08-03 16:29:58 Franz Reuleaux Juanelo Turriano Alois Riedler Institute of technology Automaton
57	Regular Expressions and Finite-State Automata Overview Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-01-06 12:55:41 Formal languages Finite automata Finite-state transducer Regular language Finite-state machine Regular expression Deterministic automaton Alphabet Induction of regular languages Star height
58	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.1.A-2 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:13 Scientific modeling Differential equations Diagrams Software architecture Architecture description language Modeling language Hybrid system Object Process Methodology Hybrid automaton Component-based software engineering Conceptual model Model checking
59	Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA) Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2005-05-29 14:49:51 Finite automata Theoretical computer science Formal languages Infographics Linear temporal logic Temporal logic Finite-state machine Diagram Sequence Formal verification Automata theory Bchi automaton
60	Landscape Automata for Search Based Procedural Content Generation. Daniel Ashlock and Cameron McGuinness Abstract—This study introduces a new representation landscape automata for encoding heightmaps that may be used f Add to Reading List Source URL: eldar.mathstat.uoguelph.ca Language: English - Date: 2016-07-12 12:05:04 Cybernetics Mathematical optimization Genetic algorithms Heightmap Procedural generation Scenery generator Evolutionary algorithm Cellular automaton Fitness landscape Fitness function Genetic programming Finite-state machine

UPDATE