Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008872864/catalog> ?p ?o. }

• catalog abstract "This volume contains the revised versions of papers presented at the fourth international Workshop on Implementing Automata (WIA), held 17–19 July, 1999, at Potsdam University, Germany. As for its predecessors, the theme of WIA99 was the implementation of au- mata and grammars of all types and their application in other ?elds. The papers contributed to this volume address, among others, algorithmic issues regarding automata, image and dictionarystorage byautomata, and natural language p- cessing. In addition to the papers presented in these proceedings, the workshop - cluded a paper on quantum computing byC. Calude, E. Calude, and K. Svozil (published elsewhere), an invited lecture byW. Thomas on Algorithmic P- blems in the Theory of ?-Automata, a tutorial byM. Silberztein on the INTEX linguistic development environment, and several demonstrations of systems. The local arrangements for WIA99 were conducted byHelmut J¨urgensen, Suna Aydin, Oliver Boldt, Carsten Haustein, Beatrice Mix, and Lynda R- bins. The meeting was held in the Communs building, now the main university building, of the New Palace in the park of Sanssouci, Potsdam. The program committee for WIA99 was: A. Bruggemann-Klein ¨ Technische Universit¨at Munc ¨ hen J.-M. Champarnaud Universit´e de Rouen F. Gun ¨ thner Universit¨at Munc ¨ hen H. Jurgensen ¨ Universit¨at Potsdam and Universityof Western Ontario D. Maurel Universit´e de Tours D. Raymond Gateway Group Inc. K. Salomaa Universityof Western Ontario W. Thomas Rheinisch-Westf¨alische Technische Hochschule Aachen B. Watson Ribbit Software Systems Inc.".
• catalog contributor b12453388.
• catalog contributor b12453389.
• catalog contributor b12453390.
• catalog created "c2001.".
• catalog date "2001".
• catalog date "c2001.".
• catalog dateCopyrighted "c2001.".
• catalog description "FA minimisation heuristics for a class of finite languages / Jerome Amilhastre, Philippe Janssen, and Marie-Catherine Vilarem -- SEA: a symbolic environment for automata theory / Philippe Andary [and others] -- Analysis of reactive systems with timers / Anne Bergeron and Riccardo Catalano -- Animation of the generation and computation of finite automata for learning software / Beatrix Braune [and others] -- Metric lexical analysis / Cristian S. Calude, Kai Salomaa, and Sheng Yu -- State complexity of basic operations on finite languages / C. Campeanu [and others] -- Treatment of unknown words / Jan Daciuk -- Computing entropy maps of finite-automaton-encoded binary images / Mark G. Eramian -- Thompson digraphs / Dora Giammarresi, Jean-Luc Ponty, and Derick Wood -- Finite automata encoding geometric figures / Helmut Jurgensen and Ludwig Staiger -- Compressed storage of sparse finite-state transducers / George Anton Kiraz -- An extendible regular expression compiler for finite-state approaches in natural language processing / Gertjan van Noord and Dale Gerdemann -- Multiset processing by means of systems of finite state transducers / Gheorghe Paun and Gabriel Thierrin -- A structural method for output compaction of sequential automata implemented as circuits / M. Seuring and M. Gossel -- An algorithm to verify local threshold testability of deterministic finite automata / A.N. Trahtman -- A taxonomy of algorithms for constructing minimal acyclic deterministic finite automata / Bruce W. Watson.".
• catalog description "Includes bibliographical references and index.".
• catalog description "This volume contains the revised versions of papers presented at the fourth international Workshop on Implementing Automata (WIA), held 17–19 July, 1999, at Potsdam University, Germany. As for its predecessors, the theme of WIA99 was the implementation of au- mata and grammars of all types and their application in other ?elds. The papers contributed to this volume address, among others, algorithmic issues regarding automata, image and dictionarystorage byautomata, and natural language p- cessing. In addition to the papers presented in these proceedings, the workshop - cluded a paper on quantum computing byC. Calude, E. Calude, and K. Svozil (published elsewhere), an invited lecture byW. Thomas on Algorithmic P- blems in the Theory of ?-Automata, a tutorial byM. Silberztein on the INTEX linguistic development environment, and several demonstrations of systems. The local arrangements for WIA99 were conducted byHelmut J¨urgensen, Suna Aydin, Oliver Boldt, Carsten Haustein, Beatrice Mix, and Lynda R- bins. The meeting was held in the Communs building, now the main university building, of the New Palace in the park of Sanssouci, Potsdam. The program committee for WIA99 was: A. Bruggemann-Klein ¨ Technische Universit¨at Munc ¨ hen J.-M. Champarnaud Universit´e de Rouen F. Gun ¨ thner Universit¨at Munc ¨ hen H. Jurgensen ¨ Universit¨at Potsdam and Universityof Western Ontario D. Maurel Universit´e de Tours D. Raymond Gateway Group Inc. K. Salomaa Universityof Western Ontario W. Thomas Rheinisch-Westf¨alische Technische Hochschule Aachen B. Watson Ribbit Software Systems Inc.".
• catalog extent "182 p. :".
• catalog identifier "3540428127 (pbk. : acid-free paper)".
• catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 2214".
• catalog issued "2001".
• catalog issued "c2001.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "004 21".
• catalog subject "Artificial intelligence.".
• catalog subject "Computer science.".
• catalog subject "Logic design.".
• catalog subject "Machine theory Congresses.".
• catalog subject "Optical pattern recognition.".
• catalog subject "QA267 .I5787 1999".
• catalog tableOfContents "FA minimisation heuristics for a class of finite languages / Jerome Amilhastre, Philippe Janssen, and Marie-Catherine Vilarem -- SEA: a symbolic environment for automata theory / Philippe Andary [and others] -- Analysis of reactive systems with timers / Anne Bergeron and Riccardo Catalano -- Animation of the generation and computation of finite automata for learning software / Beatrix Braune [and others] -- Metric lexical analysis / Cristian S. Calude, Kai Salomaa, and Sheng Yu -- State complexity of basic operations on finite languages / C. Campeanu [and others] -- Treatment of unknown words / Jan Daciuk -- Computing entropy maps of finite-automaton-encoded binary images / Mark G. Eramian -- Thompson digraphs / Dora Giammarresi, Jean-Luc Ponty, and Derick Wood -- Finite automata encoding geometric figures / Helmut Jurgensen and Ludwig Staiger -- Compressed storage of sparse finite-state transducers / George Anton Kiraz -- An extendible regular expression compiler for finite-state approaches in natural language processing / Gertjan van Noord and Dale Gerdemann -- Multiset processing by means of systems of finite state transducers / Gheorghe Paun and Gabriel Thierrin -- A structural method for output compaction of sequential automata implemented as circuits / M. Seuring and M. Gossel -- An algorithm to verify local threshold testability of deterministic finite automata / A.N. Trahtman -- A taxonomy of algorithms for constructing minimal acyclic deterministic finite automata / Bruce W. Watson.".
• catalog title "Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers / Oliver Boldt, Helmut Jürgensen (eds.).".
• catalog type "Conference proceedings. fast".
• catalog type "Potsdam (1999) swd".
• catalog type "text".