Регистрация | Вход в службу | FAQ      [?] 

Ключевое слово automata [191 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 game copy automata by yoriyuki on 2008-07-01 03:09:51 as **
  • Infinite Games
    Automata Logics, and Infinite Games (2002), pp. 197-204.
    by René Mazala
    posted to game copy automata by yoriyuki on 2008-07-01 03:08:33 as **
  • Modal $μ$-calculus and alternating tree automata
    (2002), pp. 171-184.
    by Júlia Zappe
    posted to tree modal-mu copy 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 tree automata by yoriyuki on 2008-07-01 03:47:12 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 5 people and 6 groups 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 4 people eporreca JakubSzymanik marciolima leidner
  • 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 semantics plc formal-verification automata by voronov on 2008-05-06 14:17:14 as **
  • 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
  • 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
  • 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 **
  • 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 survey cellular automata by ulmer on 2008-05-15 23:22:06 as ** along with 8 people jotwin ansobol jrw BarrosH ddahlem gane5h dagelee sgros
  • 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 **
  • 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 **
  • 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 ***
  • 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 matching foraging bees automata 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
  • History-Dependent Automata
    No. TR-98-11. (May, 1998)
    by Ugo Montanari, Marco Pistore
    posted to pi automata 1998 by shimomura on 2008-03-07 14:50:21 as **
  • 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 Scis0000002 dmitri83
  • 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 gonza_bp olbudt
  • 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
  • Semigroups, automata and languages
    Semigroup Forum, Vol. 53, No. 1. (23 December 1996), pp. 394-398.
    by Gerard Lallement
    posted to topos-theory semigroup-theory semigroups philosophy-of-science metalogical-frameworks formal-language-theory formal-languages domain-theory computational-complexity-theory category-of-languages automatons automata-theory automata algorithmic-information-theory by Scis0000002 on 2008-05-05 14:37:40 as **
  • Combinatorial Group Theory, Inverse Monoids, Automata, And Global Semigroup Theory
    by Manuel Delgado, Stuart Margolis, Benjamin Steinberg
    posted to semigroup-theory languages group-theory combinatorial-group-theory automatons automata by Scis0000002 on 2008-04-27 14:58:29 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 **
  • 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 **
  • 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 **
  • 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 **
  • 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 **
  • 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 **
  • Automata, Logic, and XML
    by Frank Neven
    posted to automata logic semweb xml by scis0000001 on 2006-11-28 14:13:42 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
  • 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 **
  • 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 **
  • 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 **
  • 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 **
  • 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 csanford Doug
  • Efficient descriptor-vector multiplications in stochastic automata networks
    J. ACM, Vol. 45, No. 3. (May 1998), pp. 381-414.
    by Paulo Fernandes, Brigitte Plateau, William J Stewart
    posted to stochastic pucrs peg networks automata by rafaeltw on 2008-04-24 00:35:41 as *** along with 1 person peg
  • Rewriting for Cryptographic Protocol Verification
    (2000), pp. 271-290.
    by Thomas Genet, Francis Klay
    posted to application automata protocol verification by radico on 2007-04-25 06:00:00 as **
  • Decidable Approximations of Sets of Descendants and Sets of Normal Forms
    Lecture Notes in Computer Science, Vol. 1379 (1998), pp. 151-??.
    by Thomas Genet
    posted to automata trs verification by radico on 2006-01-31 02:29:34 as read
  • Rewriting for Cryptographic Protocol Verification
    (2000), pp. 271-290.
    by Thomas Genet, Francis Klay
    posted to automata trs verification by radico on 2006-01-31 02:27:50 as read
  • A Rewriting Strategy for Protocol Verification
    Electronic Notes in Theoretical Computer Science, Vol. 86, No. 4. (December 2003), pp. 657-672.
    by Monica Nesi, Giuseppina Rucci, Massimo Verdesca
    posted to automata trs verification by radico on 2006-08-22 11:51:45 as **
  • A theory of timed automata
    Theoretical Computer Science, Vol. 126, No. 2. (1994), pp. 183-235.
    by Rajeev Alur, David L Dill
    posted to time automata by pgrabow on 2008-05-30 17:01:03 as ** along with 3 people dbueno astrivedi chengyongjiang
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/tag/automata

    Result page: 1 2 3 4 Next RIS BibTeX RSS
    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.