Implementation and application of automata : 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers / Michael Domaratzki, Kai Salomaa (eds.).
"This book constitutes the thoroughly refereed papers of the 15th International Conference on Implementation and Application of Automata, CIAA 2010, held in Manitoba, Winnipeg, Canada, in August 2010.The 26 revised full papers together with 6 short papers were carefully selected from 52 submiss...
Saved in:
Main Authors: | , |
---|---|
Corporate Author: | |
Format: | Ebook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
2011.
|
Series: | Lecture notes in computer science ;
6482. LNCS sublibrary. Theoretical computer science and general issues |
Subjects: | |
Online Access: | Springer eBooks |
MARC
LEADER | 00000czm a2200000 i 4500 | ||
---|---|---|---|
003 | OCoLC | ||
005 | 20230914154002.0 | ||
007 | cr mn|||||n||| | ||
008 | 110218s2011 gw a ob 101 0 eng d | ||
010 | |z 2010942794 | ||
011 | |a Direct Search Result | ||
011 | |a EDS Title: Implementation and Application of Automata | ||
011 | |a MARC Score : 10550(20400) : OK | ||
020 | |z 3642180973 |q pbk. | ||
020 | |z 9783642180972 |q pbk. | ||
035 | |a (ATU)b2433036x | ||
035 | |a (EDS)EDS838409 | ||
035 | |a (OCoLC)710151786 | ||
040 | |a OHX |b eng |e rda |c OHX |d GWDNB |d YDXCP |d AZS |d UKMGB |d OCLCQ |d OCLCA |d OCLCF |d OCLCO |d OCL |d ATU | ||
050 | 4 | |a QA267 |b .I552 2010 | |
082 | 0 | 4 | |a 004.0151 |
111 | 2 | |a CIAA (Conference) |n (15th : |d 2010 : |c Winnipeg, Man.) |9 495487 | |
245 | 1 | 0 | |a Implementation and application of automata : |b 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers / |c Michael Domaratzki, Kai Salomaa (eds.). |
264 | 1 | |a Berlin ; |a New York : |b Springer, |c 2011. | |
300 | |a 1 online resource (xi, 332 pages) : |b illustrations. | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 6482 | |
490 | 1 | |a LNCS sublibrary: SL 1-theoretical computer science and general issues | |
504 | |a Includes bibliographical references and index. | ||
505 | 0 | 0 | |t Using Automata to Describe Self-Assembled Nanostructures / |r Nataša Jonoska -- |t A Summary of Some Discrete-Event System Control Problems / |r Karen Rudie -- |t Large-Scale Training of SVMs with Automata Kernels / |r Cyril Allauzen, Corinna Cortes, Mehryar Mohri -- |t Filters for Efficient Composition of Weighted Finite-State Transducers / |r Cyril Allauzen, Michael Riley, Johan Schalkwyk -- |t Incremental DFA Minimisation / |r Marco Almeida, Nelma Moreira, Rogério Reis -- |t Finite Automata for Generalized Approach to Backward Pattern Matching / |r Jan Antoš, Bořivoj Melichar -- |t Partial Derivative Automata Formalized in Coq / |r José Bacelar Almeida, Nelma Moreira, David Pereira, Simão Melo de Sousa -- |t Regular Geometrical Languages and Tiling the Plane / |r Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne -- |t COMPAS - A Computing Package for Synchronization / |r Krzysztof Chmiel, Adam Roman -- |t From Sequential Extended Regular Expressions to NFA with Symbolic Labels / |r Alessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta -- |t State Complexity of Catenation Combined with Union and Intersection / |r Bo Cui, Yuan Gao, Lila Kari, Sheng Yu -- |t Complexity Results and the Growths of Hairpin Completions of Regular Languages (Extended Abstract) / |r Volker Diekert, Steffen Kopecki -- |t On Straight Words and Minimal Permutators in Finite Transformation Semigroups / |r Attila Egri-Nagy, Chrystopher L. Nehaniv -- |t On Lazy Representations and Sturmian Graphs / |r Chiara Epifanio, Christiane Frougny, Alessandra Gabriele, Filippo Mignosi, Jeffrey Shallit -- |t Symbolic Dynamics, Flower Automata and Infinite Traces / |r Wit Foryś, Piotr Oprocha, Slawomir Bakalarski -- |t The Cayley-Hamilton Theorem for Noncommutative Semirings / |r Radu Grosu -- |t Approximating Minimum Reset Sequences / |r Michael Gerbush, Brent Heeringa -- |t Transductions Computed by PC-Systems of Monotone Deterministic Restarting Automata / |r Norbert Hundeshagen, Friedrich Otto, Marcel Vollweiler -- |t Uniformizing Rational Relations for Natural Language Applications Using Weighted Determinization / |r J. Howard Johnson -- |t Partially Ordered Two-Way Büchi Automata / |r Manfred Kufleitner, Alexander Lauser -- |t Two-Party Watson-Crick Computations / |r Martin Kutrib, Andreas Malcher -- |t Better Hyper-minimization / |r Andreas Maletti -- |t Regular Expressions on Average and in the Long Run / |r Manfred Droste, Ingmar Meinecke -- |t Reachability Games on Automatic Graphs / |r Daniel Neider -- |t Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions / |r Satoshi Okui, Taro Suzuki -- |t A Polynomial Time Match Test for Large Classes of Extended Regular Expressions / |r Daniel Reidenbach, Markus L. Schmid -- |t A Challenging Family of Automata for Classical Minimization Algorithms / |r Giusi Castiglione, Cyril Nicaud, Marinella Sciortino -- |t State of Büchi Complementation / |r Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay -- |t Types of Trusted Information That Make DFA Identification with Correction Queries Feasible / |r Cristina Tîrnăucă, Cătălin Ionuţ Tîrnăucă -- |t Compressing Regular Expressions’ DFA Table by Matrix Decomposition / |r Yanbing Liu, Li Guo, Ping Liu, Jianlong Tan -- |t Relational String Verification Using Multi-track Automata / |r Fang Yu, Tevfik Bultan, Oscar H. Ibarra -- |t A Note on a Tree-Based 2D Indexing / |r Jan Žd’árek, Bořivoj Melichar -- |t Regular Expressions at Their Best: A Case for Rational Design / |r Vincent Le Maout -- |t Simulations of Weighted Tree Automata / |r Zoltán Ésik, Andreas Maletti. |
520 | |a "This book constitutes the thoroughly refereed papers of the 15th International Conference on Implementation and Application of Automata, CIAA 2010, held in Manitoba, Winnipeg, Canada, in August 2010.The 26 revised full papers together with 6 short papers were carefully selected from 52 submissions. The papers cover various topics such as applications of automata in computer-aided verification; natural language processing; pattern matching, data storage and retrieval; bioinformatics; algebra; graph theory; and foundational work on automata theory."--Publisher's website. | ||
588 | |a Machine converted from AACR2 source record. | ||
650 | 0 | |a Machine theory |v Congresses |9 676214 | |
700 | 1 | |a Domaratzki, Michael, |e author. |9 888797 | |
700 | 1 | |a Salomaa, Kai, |e author. |9 309947 | |
776 | 1 | 8 | |w (OCoLC)703207463 |
830 | 0 | |a Lecture notes in computer science ; |v 6482. |9 291610 | |
830 | 0 | |a LNCS sublibrary. |n SL 1, |p Theoretical computer science and general issues |9 291648 | |
856 | 4 | 0 | |u https://ezproxy.aut.ac.nz/login?url=https://link.springer.com/10.1007/978-3-642-18098-9 |z Springer eBooks |x TEMPORARY ERM URL |
907 | |a .b2433036x |b 06-09-21 |c 15-11-17 | ||
942 | |c EB | ||
998 | |a none |b 16-11-17 |c m |d z |e - |f eng |g gw |h 0 | ||
999 | |c 1432531 |d 1432531 |