Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
941	Component Behavior Synthesis for Critical Systems, Tobias Eckardt and Stefan Henkler Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Warburger Str. 100, Paderborn, Germany {tobie,shenkler Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:38:10 Horology Constraint automaton Automata theory Cellular automata Clock
942	software construction Editors: Andy Hunt and Dave Thomas ■ The Pragmatic Programmers a n d y @ p r a g m a t i c p r o g r a m m e r. c o m ■ d a v e @ p r a g m a t i c p r o g r a m m e r. c o m State Machines Dave Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2007-10-31 17:44:24 Theoretical computer science Computer science Finite-state machine Deterministic finite automaton State diagram State transition table State transition system Models of computation Theory of computation Automata theory
943	Regular tree language recognition with static information Alain Frisch D´epartement d’Informatique ´ Ecole Normale Sup´erieure, Paris, France Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:27 Ω-automaton Automata theory Symbol Tree automaton
944	Yuval Filmus Curriculum Vitæ Í 117 Oppenheimer Ln Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-10-31 15:18:39 Fellows of the Royal Society International Colloquium on Automata Languages and Programming Automated theorem proving Toniann Pitassi Daniel Filmus Symposium on Foundations of Computer Science Symposium on Theoretical Aspects of Computer Science Symposium on Theory of Computing Combinatorics Theoretical computer science Applied mathematics Computational complexity theory
945	PAPER ID = 257 — Submitted to the IEEE International Conference on Web ServicesConstructing Finite State Automata for High Performance Web Services Robert A. van Engelen∗ Department of Computer Science and Sc Add to Reading List Source URL: www.cs.fsu.edu Language: English - Date: 2004-03-10 11:42:55 Markup languages Computer file formats Technical communication Expat Web Services Description Language VTD-XML XML Schema Language comparison Computing Web standards XML
946	A Mechanism to Optimally Balance Cost and Quality of Labeling Tasks Outsourced to Strategic Agents Satyanath Bhat Indian Institute of Science Bangalore, India Add to Reading List Source URL: aamas2014.lip6.fr Language: English - Date: 2014-04-28 03:36:49 Q-analogs Group theory Automata theory
947	Plan B: An Operating System for Ubiquitous Computing Laboratorio de Sistemas http://lsub.org/who/ Add to Reading List Source URL: lsub.org Language: English - Date: 2014-05-08 10:42:13 Automata theory DEVS
948	Uriel Feige, Publications, JanuaryPapers are sorted by categories. For papers that have more than one version (typically, journal version and conference proceedings), the diﬀerent versions are combined into one Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2015-01-02 09:14:39 Uriel Feige NP-complete problems Computational complexity theory Adi Shamir Symposium on Theory of Computing International Colloquium on Automata Languages and Programming Symposium on Foundations of Computer Science Approximation algorithm Uriel Theoretical computer science Applied mathematics Mathematics
949	Teuscher C. and Adamatzky A. (Eds.) Unconventional Computing 2005: From Cellular Automata to Wetware (Luniver Press, ISBN-10: 095511702X ISBN-13: Proceedings of the 2005 Workshop on Unconventional Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2007-12-02 14:26:54 Science Biology Cellular automaton Unconventional computing Norman Margolus DNA computing Wetware Christof Teuscher Chemical computer Classes of computers Theoretical computer science Chemistry
950	GRAPH LOGICS WITH RATIONAL RELATIONS ´ DIEGO FIGUEIRA, AND LEONID LIBKIN PABLO BARCELO, Department of Computer Science, University of Chile e-mail address: Laboratory for Foundations of Computer S Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:11:01 Theoretical computer science Model theory Universal algebra Combinatorics on words Automata theory Structure Regular language String Substructure Formal languages Mathematics Metalogic

UPDATE