Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009223749/catalog> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- catalog abstract "The 7th International Conference on Implementation and Application of Au- mata (CIAA 2002) was held at the Universit´ e Fran¸ cois Rabelais of Tours, in Tours, France, on July 3–5, 2002. This volume of Lecture Notes in Computer Science contains all the papers that were presented at CIAA 2002, as well as the abstracts of the poster papers that were displayed during the conference. The conference addressed issues in automata application and implemen- tion. Thetopicsofthepaperspresentedinthisconferencerangedfromautomata applications in software engineering, natural language and speech recognition, and image processing, to new representations and algorithms for e?cient imp- mentation of automata and related structures. Automata theory is one of the oldest areas in computer science. Research in automata theory has always been motivated by its applications since its early stage of development. In the 1960s and 1970s, automata research was motivated heavily by problems arising from compiler construction, circuit design, string matching, etc. In recent years, many new applications of automata have been found in various areas of computer science as well as in other disciplines. - amples of the new applications include statecharts in object-oriented modeling, ?nite transducers in natural language processing, and nondeterministic ?ni- state models in communication protocols. Many of the new applications cannot simply utilize the existing models and algorithms in automata theory in the - lution to their problems. New models, or modi?cations of the existing models, are needed to satisfy their requirements.".
- catalog contributor b13004685.
- catalog contributor b13004686.
- catalog contributor b13004687.
- catalog created "c2003.".
- catalog date "2003".
- catalog date "c2003.".
- catalog dateCopyrighted "c2003.".
- catalog description "Edit-Distance of Weighted Automata / Mehryar Mohri -- p-Subsequentiable Transducers / Cyril Allauzen and Mehryar Mohri -- Bidirectional Push Down Automata / Miguel A. Alonso, Victor J. Diaz and Manuel Vilares -- Finite Automata and Non-self-Embedding Grammars / Marcella Anselmo, Dora Giammarresi and Stefano Varricchio -- Simulation of Gate Circuits in the Algebra of Transients / Janusz Brzozowski and Mihaela Gheorghiu -- The Number of Similarity Relations and the Number of Minimal Deterministic Finite Cover Automata / Cezar Campeanu and Andrei Paun -- Regex and Extended Regex / Cezar Campeanu, Kai Salomaa and Sheng Yu -- Prime Decompositions of Regular Prefix Codes / Jurek Czyzowicz, Wojciech Fraczak, Andrzej Pelc and Wojciech Rytter.".
- catalog description "Includes bibliographical references and index.".
- catalog description "The 7th International Conference on Implementation and Application of Au- mata (CIAA 2002) was held at the Universit´ e Fran¸ cois Rabelais of Tours, in Tours, France, on July 3–5, 2002. This volume of Lecture Notes in Computer Science contains all the papers that were presented at CIAA 2002, as well as the abstracts of the poster papers that were displayed during the conference. The conference addressed issues in automata application and implemen- tion. Thetopicsofthepaperspresentedinthisconferencerangedfromautomata applications in software engineering, natural language and speech recognition, and image processing, to new representations and algorithms for e?cient imp- mentation of automata and related structures. Automata theory is one of the oldest areas in computer science. Research in automata theory has always been motivated by its applications since its early stage of development. In the 1960s and 1970s, automata research was motivated heavily by problems arising from compiler construction, circuit design, string matching, etc. In recent years, many new applications of automata have been found in various areas of computer science as well as in other disciplines. - amples of the new applications include statecharts in object-oriented modeling, ?nite transducers in natural language processing, and nondeterministic ?ni- state models in communication protocols. Many of the new applications cannot simply utilize the existing models and algorithms in automata theory in the - lution to their problems. New models, or modi?cations of the existing models, are needed to satisfy their requirements.".
- catalog extent "xi, 306 p.:".
- catalog identifier "3540403914 (softcover : acid-free paper)".
- catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 2608".
- catalog issued "2003".
- catalog issued "c2003.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "004 21".
- catalog subject "Computer science.".
- catalog subject "Computer software.".
- catalog subject "Logic design.".
- catalog subject "Machine theory Congresses.".
- catalog subject "QA267 .C523 2002".
- catalog tableOfContents "Edit-Distance of Weighted Automata / Mehryar Mohri -- p-Subsequentiable Transducers / Cyril Allauzen and Mehryar Mohri -- Bidirectional Push Down Automata / Miguel A. Alonso, Victor J. Diaz and Manuel Vilares -- Finite Automata and Non-self-Embedding Grammars / Marcella Anselmo, Dora Giammarresi and Stefano Varricchio -- Simulation of Gate Circuits in the Algebra of Transients / Janusz Brzozowski and Mihaela Gheorghiu -- The Number of Similarity Relations and the Number of Minimal Deterministic Finite Cover Automata / Cezar Campeanu and Andrei Paun -- Regex and Extended Regex / Cezar Campeanu, Kai Salomaa and Sheng Yu -- Prime Decompositions of Regular Prefix Codes / Jurek Czyzowicz, Wojciech Fraczak, Andrzej Pelc and Wojciech Rytter.".
- catalog title "Implementation and application of automata : 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers / Jean-Marc Champarnaud, Denis Maurel (eds.).".
- catalog type "Conference proceedings. fast".
- catalog type "Tours (2002) swd".
- catalog type "text".