新規登録 | ログイン | FAQ      [?] 

タグ: automata [200 articles]

Recent papers classified by the tag automata.
  • Alternating Tree Automata and Parity Games
    Automata Logics, and Infinite Games (2002), pp. 405-411.
    by Daniel Kirsten
    posted to automata copy game-semantics by yoriyuki on 2008-07-01 03:09:51 as **
  • Modal $μ$-calculus and alternating tree automata
    (2002), pp. 171-184.
    by Júlia Zappe
    posted to automata copy modal-mu tree-automata by yoriyuki on 2008-07-01 03:02:20 as **
  • ACTAS : A System Design for Associative and Commutative Tree Automata Theory
    Electronic Notes in Theoretical Computer Science, Vol. 124, No. 1. (2 March 2005), pp. 97-111.
    by Hitoshi Ohsaki, Toshinori Takai
    posted to automata tree-automata by yoriyuki on 2008-07-01 03:47:12 as **
  • Infinite Games
    Automata Logics, and Infinite Games (2002), pp. 197-204.
    by René Mazala
    posted to automata copy game-semantics by yoriyuki on 2008-07-01 03:08:33 as **
  • Verifying Temporal Properties without Temporal Logic
    ACM Transactions on Programming Languages and Systems, Vol. 11, No. 1. (1989), pp. 147-167.
    by Bowen Alpern, Fred B Schneider
    posted to automata logic by Ylies on 2008-01-26 14:38:33 as **
  • Cities and Complexity : Understanding Cities with Cellular Automata, Agent-Based Models, and Fractals
    (01 September 2005)
    by Michael Batty
    posted to agents automata cellular cities complexity design simulation urban by yish on 2005-12-06 23:47:46 as ** along with 6 people and 6 groups achiar scholz orm zpinhead dpf stkhu Sociology mathgamespatterns dtl vds-arg eni MASSS
  • Introduction to Automata Theory, Languages, and Computation (2nd Edition)
    (14 November 2000)
    by John E Hopcroft, Rajeev Motwani, Jeffrey D Ullman
    posted to automata cs by whshen on 2006-09-25 17:22:03 as ** along with 5 people sdvillal marciolima leidner JakubSzymanik eporreca
  • Query Automata
    (1999), pp. 205-214.
    by Frank Neven, Thomas Schwentick
    posted to automata query theory by wasi on 2005-07-01 19:38:42 as *** along with 3 people kinaba stagediver charibeiro
  • Introduction to Discrete Event Systems (The International Series on Discrete Event Dynamic Systems)
    (30 September 1999)
    by Christos G Cassandras, Stephane Lafortune
    posted to automata automaton des fsa by voronov on 2007-12-05 13:48:55 as read along with 1 person and 2 groups ngoncalves Autonomous_Vehicles Networked_Control_Systems
  • Formalization of PLC programs to sustain reliability
    Robotics, Automation and Mechatronics, 2004 IEEE Conference on, Vol. 2 (2004), pp. 613-618 vol.2.
    by MB Younis, G Frey
    posted to automata formal-verification plc semantics by voronov on 2008-05-06 14:17:14 as **
  • Polymorphic regular tree types and patterns
    Vol. 41, No. 1. (January 2006), pp. 103-114.
    by J&\#233;r&\#244;me Vouillon
    posted to automata polymorphism types xml by voigt on 2006-03-21 11:23:14 as **
  • Processing XML streams with deterministic automata and stream indexes
    ACM Trans. Database Syst., Vol. 29, No. 4. (December 2004), pp. 752-788.
    by Todd J Green, Ashish Gupta, Gerome Miklau, Makoto Onizuka, Dan Suciu
    posted to automata streams xml by voigt on 2005-10-13 08:19:31 as ** along with 2 people and 5 groups seabay ccipres Blog_and_Wiki_Research CSCW OpenArchive P2P XMLDataManagement
  • Automata theory for XML researchers
    SIGMOD Rec., Vol. 31, No. 3. (September 2002), pp. 39-46.
    by Frank Neven
    posted to automata xml by voigt on 2005-10-13 08:22:50 as ** along with 3 people and 5 groups andytseng kinaba seabay Blog_and_Wiki_Research CSCW OpenArchive P2P XMLDataManagement
  • Theory of cellular automata: A survey
    Theoretical Computer Science, Vol. 334, No. 1-3. (15 April 2005), pp. 3-33.
    by Jarkko Kari
    posted to automata cellular survey by ulmer on 2008-05-15 23:22:06 as ** along with 8 people ansobol jrw BarrosH ddahlem gane5h dagelee sgros jotwin
  • Computation at the edge of chaos: phase transitions and emergent computation
    (1990), pp. 12-37.
    by Chris G Langton
    posted to automata cellular complexity by troyth on 2005-08-19 05:11:08 as **
  • A brief history of cellular automata
    ACM Comput. Surv., Vol. 32, No. 1. (March 2000), pp. 80-107.
    by Palash Sarkar
    posted to artificial automata cellular life by summerian on 2007-04-16 20:05:06 as ***
  • Cellular Automata Methods in Mathematical Physics
    No. MIT/LCS/TR-615. (1994)
    by MA Smith
    posted to artificial automata cellular life by summerian on 2007-04-16 20:45:45 as **
  • The computational power of Benenson automata
    Theoretical Computer Science, Vol. 344, No. 2-3. (17 November 2005), pp. 279-297.
    by David Soloveichik, Erik Winfree
    posted to automata benenson by stsaft on 2006-03-06 02:15:19 as read
  • Automata, matching and foraging behavior of bees
    Journal of Theoretical Biology, Vol. 175, No. 3. (07 August 1995), pp. 305-316.
    by Thuijsman, Peleg, Amitai, Shmida
    posted to automata bees foraging matching by soramame_0518 on 2007-07-28 08:41:22 as read along with 3 people and 2 groups brian palakorn dep Drexel-HCI Drexel-eVoting
  • Multiple pattern matching: a Markov chain approach
    Journal of Mathematical Biology, Vol. 56, No. 1-2. (January 2008), pp. 51-92.
    by Manuel E Lladser, MD Betterton, Rob Knight
    posted to automata markov-chains by slygent2 on 2008-07-16 14:28:47 as **
  • The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science)
    (20 June 2006)
    by Dilsun K Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager
    posted to 2006 automata timed by shimomura on 2008-07-25 08:35:36 as **
  • History-Dependent Automata
    No. TR-98-11. (May, 1998)
    by Ugo Montanari, Marco Pistore
    posted to 1998 automata pi by shimomura on 2008-03-07 14:50:21 as **
  • The theory of timed automata
    Real-Time: Theory in Practice (1992), pp. 45-73.
    by Rajeev Alur, David Dill
    posted to 1992 automata modelchecking read timed by shimomura on 2008-08-08 03:47:18 as read
  • Higher-order matching and tree automata
    Vol. 1414 (1998), pp. 157-176.
    by Hubert Comon, Yan Jurski
    posted to automata match tree by shenshei on 2008-01-16 09:18:40 as ** along with 2 people dmitri83 Scis0000002
  • New directions in fuzzy automata
    International Journal of Approximate Reasoning, Vol. 38, No. 2. (February 2005), pp. 175-214.
    by Mansoor Doostfatemeh, Stefan C Kremer
    posted to automata fuzzy by sguada on 2008-04-01 08:08:34 as ** along with 2 people olbudt gonza_bp
  • Processing XML Streams with Deterministic Automata
    (2002), pp. 173-189.
    by Todd J Green, Gerome Miklau, Makoto Onizuka, Dan Suciu
    posted to automata streaming xml by seabay on 2005-10-12 19:25:12 as *** along with 5 groups Blog_and_Wiki_Research CSCW OpenArchive P2P XMLDataManagement
  • Compact DFA Representation for Fast Regular Expression Search
    (2001), pp. 1-12.
    by Gonzalo Navarro, Mathieu Raffinot
    posted to automata by seabay on 2005-10-21 13:20:00 as *** along with 5 groups Blog_and_Wiki_Research CSCW OpenArchive P2P XMLDataManagement
  • Algorithmics: The Spirit of Computing (3rd Edition)
    (11 June 2004)
    by David Harel, Yishai Feldman
    posted to theoretical-computer-science complexity automata algorithmics by sdvillal on 2008-09-17 14:27:15 as **
  • Introduction to the Theory of Computation, Second Edition
    (15 February 2005)
    by Michael Sipser
    posted to theoretical-computer-science complexity automata algorithmics by sdvillal on 2008-09-17 14:40:20 as ** along with 3 people tmarscha mmeteo jasmithoffice
  • Elements of the Theory of Computation (2nd Edition)
    (17 August 1997)
    by Harry R Lewis, Christos H Papadimitriou
    posted to theoretical-computer-science complexity automata algorithmics by sdvillal on 2008-09-17 14:22:53 as **
  • Combinatorial Group Theory, Inverse Monoids, Automata, And Global Semigroup Theory
    by Manuel Delgado, Stuart Margolis, Benjamin Steinberg
    posted to automata automatons combinatorial-group-theory group-theory languages semigroup-theory by Scis0000002 on 2008-04-27 14:58:29 as **
  • Semigroups, automata and languages
    Semigroup Forum, Vol. 53, No. 1. (23 December 1996), pp. 394-398.
    by Gerard Lallement
    posted to algorithmic-information-theory automata automata-theory automatons category-of-languages computational-complexity-theory domain-theory formal-languages formal-language-theory metalogical-frameworks philosophy-of-science semigroups semigroup-theory topos-theory by Scis0000002 on 2008-05-05 14:37:40 as **
  • Precategories for Combining Probabilistic Automata
    Electronic Notes in Theoretical Computer Science, Vol. 29 (1999)
    by P Mateus, A Sernadas, C Sernadas
    posted to probabilistic precategory composition automata by scis0000001 on 2007-01-22 13:42:49 as **
  • Concurrency and Automata on Infinite Sequences
    (1981), pp. 167-183.
    by David Park
    posted to infinite-sequence concurrency automata by scis0000001 on 2007-01-30 09:37:05 as ** along with 1 person Scis0000002
  • Symbolic Abstractions of Automata
    (August 2000), pp. 39-48.
    by S Pinchinat, H Marchand
    posted to abstraction automata symbolic by scis0000001 on 2006-12-16 13:53:56 as **
  • Probabilistic Automata: System Types, Parallel Composition and Comparison
    by A Sokolova, EP de Vink
    posted to probabilistic composition automata by scis0000001 on 2007-01-22 13:40:55 as **
  • From Bidirectionality to Alternation
    Lecture Notes in Computer Science, Vol. 2136 (2001), pp. 598-??.
    by Nir Piterman, Moshe Y Vardi
    posted to alternation automata bidirectionality by scis0000001 on 2006-11-28 14:18:11 as **
  • Distributed Interval Automata: A Subclass of Timed Automata
    by Deepak D'Souza, PS Thiagarajan
    posted to automata interval timed-automata by scis0000001 on 2006-11-28 14:42:49 as **
  • Hardware Implementation of Temporal Nonmonotonic Logics
    : AI 2006: Advances in Artificial Intelligence (2006), pp. 808-817.
    by Insu Song, Guido Governatori
    posted to temporal-logic situated nonmonotonic metric-temporal-logic hardware digital-circuits circuitry chu-space automata by scis0000001 on 2007-02-01 16:50:19 as **
  • Automata with boundary
    by R Gates, P Katis, N Sabadini
    posted to transition-system feedback boundary automata by scis0000001 on 2007-01-15 14:42:09 as **
  • Determinizing Buchi Asnchronous Automata
    (1995), pp. 456-470.
    by Nils Klarlund, Madhavan Mukund, Milind A Sohoni
    posted to asynchronous automata infinite infinite-sequence inputs by scis0000001 on 2006-11-28 14:26:20 as **
  • Reconciling Event Structures and Higher Dimensional Automata
    by Vaughan Pratt
    posted to automata event-space event-structure hd hda time by scis0000001 on 2006-07-06 14:50:25 as **
  • From Timed Automata to Logic --- and Back
    (1995)
    by F Laroussinie, K Larsen, C Weise
    posted to time schedules logic chu-space automata by scis0000001 on 2006-08-25 14:35:08 as **
  • Automata, Logic, and XML
    by Frank Neven
    posted to automata logic semweb xml by scis0000001 on 2006-11-28 14:13:42 as **
  • Essential Inputs and Minimal Tree Automata
    (23 Feb 2007)
    by Ivo Damyanov, Slavcho Shtrakov
    posted to automata by sato-ryu on 2007-03-02 14:17:12 as **
  • Tree Automata and Essential Subtrees
    (23 Feb 2007)
    by Slavcho Shtrakov
    posted to automata by sato-ryu on 2007-03-02 14:16:54 as **
  • The Complexity of Games on Higher Order Pushdown Automata
    (2 May 2007)
    by Thierry Cachat, Igor Walukiewicz
    posted to automata computational-complexity game-theory by sato-ryu on 2007-05-04 08:44:37 as **
  • Teaching Bayesian behaviours to video game characters
    Robotics and Autonomous Systems, Vol. 47 (2004), pp. 177-185.
    by Ronan Le Hy, Anthony Arrigoni, Pierre Bessiere, Olivier Lebeltel
    posted to automata bayesian behaviours characters games synthetic by rlehy on 2005-02-08 13:39:46 as read along with 2 people noel grimm
  • Probabilistic Finite-State Machines - Part I
    by E Vidal, Et
    posted to automata by rccarrasco on 2007-04-25 12:25:35 as read along with 1 person kvorg
  • Dynamic cellular automata: an alternative approach to cellular simulation.
    In Silico Biol, Vol. 5, No. 2. (2005), pp. 139-161.
    by DS Wishart, R Yang, D Arndt, P Tang, J Cruz
    posted to automata simulation by rafamayo on 2006-03-24 10:51:14 as ** along with 2 people Doug csanford
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/automata

    Result page: 1 2 3 4 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.