Implementation and Application of Automata : 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers

>> Google Books

Implementation and Application of Automata : 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers / edited by Sheng Yu, Andrei Paun

版:

1st ed. 2001

資料種別:

電子ブック

形態:

XI, 342 p.

シリーズ名:

Lecture Notes in Computer Science ; 2088

著者名:

ISBN:

9783540446743 [3540446745]
9783662200599 [3662200597]
9783540424918 [3540424911]

書誌ID:

EB00005565

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

The Fifth International Conference on Implementation and Application of - tomata (CIAA 2000) was held at the University of Western Ontario in London, Ontario, Canada on July 24-25, 2000. This conference series was formerly called the International Workshop on Implementing Automata (WIA) This volume of the Lecture Notes in Computer Science series contains all the papers that were presented at CIAA 2000, and also the abstracts of the poster papers that were displayed during the conference. The conference addressed issues in automata application and implemen- tion. The topics of the papers presented at this conference ranged from automata 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 stages of development. I

主題:

Algorithms; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Computer System Implementation; Programming Techniques; Theory of Computation

目次情報:

Invited Lectures

Synthesizing State-Based Object Systems from LSC Specifications / David Harel ; Hillel Kugler

Applications of Finite-State Transducers in Natural Language Processing / Lauri Karttunen

Technical Contributions

Fast Implementations of Automata Computations / Anne Bergeron ; Sylvie Hamel

Regularly Extended Two-Way Nondeterministic Tree Automata

Anne Bruggemann-Klein, Derick Wood Glushkov Construction for Multiplicities / Pascal Caron ; Marianne Flouret

Implicit Structures to Implement NFAÆs from Regular Expressions / Jean-Marc Champarnaud

New Finite Automaton Constructions Based on Canonical Derivatives / D. Ziadi

Experiments with Automata Compression / Jan Daciuk

Computing Raster Images from Grid Picture Grammars / Frank Drewes ; Sigrid Ewert ; Renate Klempien-Hinrichs ; Hans-Jörg Kreowski

A Basis for Looping Extensions to Discriminating-Reverse Parsing / Jacques Farré ; José Fortes Gálvez

Automata for Pro-V Topologies / Pierre-Cyrille Héam

Reachability and Safety in Queue Systems / Oscar H. Ibarra

Generalizing the Discrete Timed Automaton / Jianwen Su

Factorization of Ambiguous Finite-State Transducers / Andre Kempe

MONA Implementation Secrets / Nils Klarlund ; Anders Møller ; Michael I. Schwartzbach

Cursors / Vincent Le Maout

An Automaton Model of User-Controlled Navigation on the Web / K. Lodaya ; R. Ramanujam

Direct Construction of Minimal Acyclic Subsequential Transducers / Stoyan Mihov ; Denis Maurel

Generic ϵ-Removal Algorithm for Weighted Automata / Mehryar Mohri

An O(n²) Algorithm for Constructing Minimal Cover Automata for Finite Languages / Andrei P&abrave;un ; Nicolae Sâumflex;ntean ; Sheng Yu

Unary Language Concatenation and Its State Complexity / Giovanni Pighizzini

Implementation of a Strategy Improvement Algorithm for Finite-State Parity Games / Dominik Schmitz ; Jens Voge

State Complexity and JacobsthalÆs Function / Jeffrey Shallit

A Package for the Implementation of Block Codes as Finite Automata / Priti Shankar ; K. Sasidharan ; Vikas Aggarwal ; B. Sundar Rajan

Regional Least-Cost Error Repair / M. Vilares ; V.M. Darriba ; F.J. Ribadas

The Parameterized Complexity of Intersection and Composition Operations on Sets of Finite-State Automata / H. Todd Wareham

Directly Constructing Minimal DFAs: Combining Two Algorithms by Brzozowski / Bruce W. Watson

The MERLin Environment Applied to ?-NFAs / Lynette van Zijl ; John-Paul Harper ; Frank Olivier

Abstracts

Visual Exploration of Generation Algorithms for Finite Automata on the Web / Stephan Diehl ; Andreas Kerren ; Torsten Weller

Treebag

Word Random Access Compression / Jiří Dvorský ; Václav SnáÜel

Extended Sequentialization of Transducers / Tamás Gaál

Lessons from INR in the Specification of Transductions / J. Howard Johnson

Part-of-Speech Tagging with Two Sequential Transducers / André Kempe

Solving Complex Problems Efficiently with Adaptive Automata / João Jose Neto

Author Index

Invited Lectures

Synthesizing State-Based Object Systems from LSC Specifications / David Harel ; Hillel Kugler

Applications of Finite-State Transducers in Natural Language Processing / Lauri Karttunen

Technical Contributions

Fast Implementations of Automata Computations / Anne Bergeron ; Sylvie Hamel

Regularly Extended Two-Way Nondeterministic Tree Automata

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Automata Implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers Raymond, Darrell., Wood, Derick., Yu, Sheng., SpringerLink (Online service)	7 電子ブック Computational Logic — CL 2000 : First International Conference London, UK, July 24–28, 2000 Proceedings Lloyd, John., Dahl, Veronica., Furbach, Ulrich., Kerber, Manfred., Lau, Kung-Kiu., Palamidessi, Catuscia., Pereira, Luis …
2 電子ブック Implementation and Application of Automata : 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers Watson, Bruce., Wood, Derick., SpringerLink (Online service)	8 電子ブック Automata, Languages and Programming : 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings Lingas, Andrzej., Karlsson, Rolf., Carlsson, Svante., SpringerLink (Online service)
3 電子ブック Implementation and Application of Automata : 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers Champarnaud, Jean-Marc., Maurel, Denis., SpringerLink (Online service)	9 電子ブック CONCUR 2000 - Concurrency Theory : 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings Palamidessi, Catuscia., SpringerLink (Online service)
4 図書 Implementation and application of automata : 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers International Conference on Implementation and Application of Automata, Yü, Sheng, Păun, Andrei Springer	10 電子ブック Theoretical Computer Science : 5th GI-Conference Karlsruhe, March 23-25, 1981 Deussen, P., SpringerLink (Online service)
5 電子ブック Automata Implementation : Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997, Revised Papers Wood, Derick., Yu, Sheng., SpringerLink (Online service)	11 電子ブック Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers Flener, Pierre., SpringerLink (Online service)
6 電子ブック Implementation and Application of Automata : 8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings Ibarra, Oscar H., Dang, Zhe., SpringerLink (Online service)	12 電子ブック Automata, Languages, and Programming : 11th Colloquium, Antwerp, Belgium, July 16-20, 1984 (EATCS sign). Proceedings Paredaens, J., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12