Automata Implementation [[electronic resource] ] : Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997, Revised Papers / / edited by Derick Wood, Sheng Yu |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
Descrizione fisica | 1 online resource (IX, 259 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Artificial intelligence
Computers Mathematical logic Pattern recognition Artificial Intelligence Computation by Abstract Devices Mathematical Logic and Formal Languages Pattern Recognition |
ISBN | 3-540-69104-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | WIA and theory and practice -- Construction of efficient generalized LR parsers -- Visualization of dynamic automata using Padnon -- Automata of asynchronous behaviors -- LANGAGE: A Maple package for automaton characterization of regular languages -- In vitro implementation of finite-state machines -- Implementing WS1S via finite automata: Performance issues -- Multi-tape automata for speech and language systems: A prolog implementation -- Tools to implement automata, a first step: ASTL -- Minimal separating sets for Muller automata -- Pseudo-minimal transducers: A transducer with proper elements -- Towards a meta-normal form algorithm for context-free grammars -- A rational design for a weighted finite-state transducer library -- An efficient null-free procedure for deciding regular language membership -- Operations on extended automata -- Efficient implementation of regular languages using r-AFA -- INTEX: An integrated FST toolbox -- Precise estimation of the order of local testability of a deterministic finite automaton -- Teaching theory of computation with tape machines -- The automata theory package omega -- Practical optimizations for automata -- Sorting and doubling techniques for set partitioning and automata minimization problems. |
Record Nr. | UNISA-996466082503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automata Implementation [[electronic resource] ] : Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997, Revised Papers / / edited by Derick Wood, Sheng Yu |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
Descrizione fisica | 1 online resource (IX, 259 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Artificial intelligence
Computers Mathematical logic Pattern recognition Artificial Intelligence Computation by Abstract Devices Mathematical Logic and Formal Languages Pattern Recognition |
ISBN | 3-540-69104-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | WIA and theory and practice -- Construction of efficient generalized LR parsers -- Visualization of dynamic automata using Padnon -- Automata of asynchronous behaviors -- LANGAGE: A Maple package for automaton characterization of regular languages -- In vitro implementation of finite-state machines -- Implementing WS1S via finite automata: Performance issues -- Multi-tape automata for speech and language systems: A prolog implementation -- Tools to implement automata, a first step: ASTL -- Minimal separating sets for Muller automata -- Pseudo-minimal transducers: A transducer with proper elements -- Towards a meta-normal form algorithm for context-free grammars -- A rational design for a weighted finite-state transducer library -- An efficient null-free procedure for deciding regular language membership -- Operations on extended automata -- Efficient implementation of regular languages using r-AFA -- INTEX: An integrated FST toolbox -- Precise estimation of the order of local testability of a deterministic finite automaton -- Teaching theory of computation with tape machines -- The automata theory package omega -- Practical optimizations for automata -- Sorting and doubling techniques for set partitioning and automata minimization problems. |
Record Nr. | UNINA-9910767581303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Automata Implementation [[electronic resource] ] : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers / / edited by Darrell Raymond, Derick Wood, Sheng Yu |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (VIII, 192 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Mathematical logic Architecture, Computer Computer logic Computers Programming Languages, Compilers, Interpreters Mathematical Logic and Foundations Computer System Implementation Mathematical Logic and Formal Languages Logics and Meanings of Programs Computation by Abstract Devices |
ISBN | 3-540-69205-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | WIA and the practice of theory in computer science -- Algorithms for guided tree automata -- Time series forecasting by finite-state automata -- Dynamical implementation of nondeterministic automata and concurrent systems -- Implementing WS1S via finite automata -- Instruction computation in subset construction -- Building automaton on schemata and acceptability tables -- FSA utilities: A toolbox to manipulate finite-state automata -- A new quadratic algorithm to convert a regular expression into an automaton -- Implementing sequential and parallel programs for the homing sequence problem -- Integrating hands-on work into the formal languages course via tools and programming -- NFA to DFA transformation for finite languages -- How to use sorting procedures to minimize DFA -- FIRE Lite: FAs and REs in C++. |
Record Nr. | UNISA-996465422603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automata Implementation [[electronic resource] ] : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers / / edited by Darrell Raymond, Derick Wood, Sheng Yu |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (VIII, 192 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Mathematical logic Architecture, Computer Computer logic Computers Programming Languages, Compilers, Interpreters Mathematical Logic and Foundations Computer System Implementation Mathematical Logic and Formal Languages Logics and Meanings of Programs Computation by Abstract Devices |
ISBN | 3-540-69205-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | WIA and the practice of theory in computer science -- Algorithms for guided tree automata -- Time series forecasting by finite-state automata -- Dynamical implementation of nondeterministic automata and concurrent systems -- Implementing WS1S via finite automata -- Instruction computation in subset construction -- Building automaton on schemata and acceptability tables -- FSA utilities: A toolbox to manipulate finite-state automata -- A new quadratic algorithm to convert a regular expression into an automaton -- Implementing sequential and parallel programs for the homing sequence problem -- Integrating hands-on work into the formal languages course via tools and programming -- NFA to DFA transformation for finite languages -- How to use sorting procedures to minimize DFA -- FIRE Lite: FAs and REs in C++. |
Record Nr. | UNINA-9910767546603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Implementation and Application of Automata [[electronic resource] ] : 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers / / edited by Bruce Watson, Derick Wood |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (X, 294 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Artificial intelligence
Computers Algorithms Computer logic Mathematical logic Artificial Intelligence Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Mathematical Logic and Formal Languages |
ISBN | 3-540-36390-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Using Finite State Technology in Natural Language Processing of Basque -- Cascade Decompositions are Bit-Vector Algorithms -- Submodule Construction and Supervisory Control: A Generalization -- Counting the Solutions of Presburger Equations without Enumerating Them -- Brzozowski’s Derivatives Extended to Multiplicities -- Finite Automata for Compact Representation of Language Models in NLP -- Past Pushdown Timed Automata -- Scheduling Hard Sporadic Tasks by Means of Finite Automata and Generating Functions -- Bounded-Graph Construction for Noncanonical Discriminating-Reverse Parsers -- Finite-State Transducer Cascade to Extract Proper Names in Texts -- Is this Finite-State Transducer Sequentiable? -- Compilation Methods of Minimal Acyclic Finite-State Automata for Large Dictionaries -- Bit Parallelism - NFA Simulation -- Improving Raster Image Run-Length Encoding Using Data Order -- Enhancements of Partitioning Techniques for Image Compression Using Weighted Finite Automata -- Extraction of ?-Cycles from Finite-State Transducers -- On the Size of Deterministic Finite Automata -- Crystal Lattice Automata -- Minimal Adaptive Pattern-Matching Automata for Efficient Term Rewriting -- Adaptive Rule-Driven Devices - General Formulation and Case Study -- Typographical Nearest-Neighbor Search in a Finite-State Lexicon and Its Application to Spelling Correction -- On the Software Design of Cellular Automata Simulators for Ecological Modeling -- Random Number Generation with ?-NFAs -- Supernondeterministic Finite Automata. |
Record Nr. | UNISA-996465544603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Implementation and Application of Automata : 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers / / edited by Bruce Watson, Derick Wood |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (X, 294 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Artificial intelligence
Computers Algorithms Computer logic Mathematical logic Artificial Intelligence Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Mathematical Logic and Formal Languages |
ISBN | 3-540-36390-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Using Finite State Technology in Natural Language Processing of Basque -- Cascade Decompositions are Bit-Vector Algorithms -- Submodule Construction and Supervisory Control: A Generalization -- Counting the Solutions of Presburger Equations without Enumerating Them -- Brzozowski’s Derivatives Extended to Multiplicities -- Finite Automata for Compact Representation of Language Models in NLP -- Past Pushdown Timed Automata -- Scheduling Hard Sporadic Tasks by Means of Finite Automata and Generating Functions -- Bounded-Graph Construction for Noncanonical Discriminating-Reverse Parsers -- Finite-State Transducer Cascade to Extract Proper Names in Texts -- Is this Finite-State Transducer Sequentiable? -- Compilation Methods of Minimal Acyclic Finite-State Automata for Large Dictionaries -- Bit Parallelism - NFA Simulation -- Improving Raster Image Run-Length Encoding Using Data Order -- Enhancements of Partitioning Techniques for Image Compression Using Weighted Finite Automata -- Extraction of ?-Cycles from Finite-State Transducers -- On the Size of Deterministic Finite Automata -- Crystal Lattice Automata -- Minimal Adaptive Pattern-Matching Automata for Efficient Term Rewriting -- Adaptive Rule-Driven Devices - General Formulation and Case Study -- Typographical Nearest-Neighbor Search in a Finite-State Lexicon and Its Application to Spelling Correction -- On the Software Design of Cellular Automata Simulators for Ecological Modeling -- Random Number Generation with ?-NFAs -- Supernondeterministic Finite Automata. |
Record Nr. | UNINA-9910143897703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Principles of Document Processing [[electronic resource] ] : Third International Workshop, PODP '96, Palo Alto, California, USA, September 23, 1996. Proceedings / / edited by Charles Nicholas, Derick Wood |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (XIV, 202 p.) |
Disciplina | 004.0151 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Application software Business mathematics Natural language processing (Computer science) Multimedia information systems Theory of Computation Computer Applications Business Mathematics Natural Language Processing (NLP) Multimedia Information Systems Information Systems Applications (incl. Internet) |
ISBN | 3-540-69614-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Toward an operational theory of media -- First steps to Cross Media Publishing and multimodal documents -- Disambiguation of SGML content models -- SGML and exceptions -- Grammar-compatible stylesheets -- Object awareness in multimedia documents -- A logic based formalism for temporal constraints in multimedia documents -- Towards automatic hypertextual representation of linear texts -- Using background contextual knowledge for documents representation -- Typed structured documents for information retrieval -- Transformation of documents and schemas by patterns and contextual conditions -- Tabular formatting problems -- Visual definition of virtual documents for the World-Wide Web. |
Record Nr. | UNINA-9910144908803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Principles of Document Processing [[electronic resource] ] : Third International Workshop, PODP '96, Palo Alto, California, USA, September 23, 1996. Proceedings / / edited by Charles Nicholas, Derick Wood |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (XIV, 202 p.) |
Disciplina | 004.0151 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Application software Business mathematics Natural language processing (Computer science) Multimedia information systems Theory of Computation Computer Applications Business Mathematics Natural Language Processing (NLP) Multimedia Information Systems Information Systems Applications (incl. Internet) |
ISBN | 3-540-69614-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Toward an operational theory of media -- First steps to Cross Media Publishing and multimodal documents -- Disambiguation of SGML content models -- SGML and exceptions -- Grammar-compatible stylesheets -- Object awareness in multimedia documents -- A logic based formalism for temporal constraints in multimedia documents -- Towards automatic hypertextual representation of linear texts -- Using background contextual knowledge for documents representation -- Typed structured documents for information retrieval -- Transformation of documents and schemas by patterns and contextual conditions -- Tabular formatting problems -- Visual definition of virtual documents for the World-Wide Web. |
Record Nr. | UNISA-996465745003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|