Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Klaus Sutner |
Reduced Power Automata. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Markus Holzer 0001, Martin Kutrib |
State Complexity of Basic Operations on Nondeterministic Finite Automata. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Cyril Allauzen, Mehryar Mohri |
p-Subsequentiable Transducers. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Janusz A. Brzozowski, Mihaela Gheorghiu |
Simulation of Gate Circuits in the Algebra of Transients. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | A. N. Trahtman |
A Polynomial Time Algorithm for Left [Right] Local Testability. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
locally testable, algorithm, graph, language, semigroup, deterministic finite automaton |
1 | Alexander Okhotin |
Efficient Automaton-Based Recognition for Linear Conjunctive Languages. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jan Holub 0001 |
Dynamic Programming - NFA Simulation. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | João José Neto, César Bravo |
Adaptive Automata - A Revisited Proposal. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
adaptive devices, rule-driven formalisms, self-modifying machines, adaptive automata, adaptive paradigm |
1 | Jan Holub 0001, Maxime Crochemore |
On the Implementation of Compact DAWG's. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Constantinos Bartzis, Tevfik Bultan |
Automata-Based Representations for Arithmetic Constraints in Automated Verification. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Abolfazl Fatholahzadeh |
Implementation of Dictionaries via Automata and Decision Trees. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Borivoj Melichar |
Deterministic Parsing of Cyclic Strings. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Graña, Gloria Andrade, Jesús Vilares |
Compilation of Constraint-Based Contextual Rules for Part-of-Speech Tagging into Finite State Transducers. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jurek Czyzowicz, Wojciech Fraczak, Andrzej Pelc, Wojciech Rytter |
Prime Decompositions of Regular Prefix Codes. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Sutner |
automata, a Hybrid System for Computational Automata Theory. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Libor Polák |
Syntactic Semiring and Language Equations. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
syntactic semiring, language equations |
1 | A. N. Trahtman |
A Package TESTAS for Checking Some Kinds of Testability. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Marcella Anselmo, Dora Giammarresi, Stefano Varricchio |
Finite Automata and Non-self-Embedding Grammars. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Nedjah, Luiza de Macedo Mourelle |
Minimal Adaptive Pattern-Matching Automata for Efficient Term Rewriting. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Frank Katritzke, Wolfgang Merzenich, Michael Thomas 0004 |
Enhancements of Partitioning Techniques for Image Compression Using Weighted Finite Automata. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jan Daciuk, Gertjan van Noord |
Finite Automata for Compact Representation of Language Models in NLP. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Borivoj Melichar, Jan Skryja |
On the Size of Deterministic Finite Automata. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Boigelot, Louis Latour |
Counting the Solutions of Presburger Equations without Enumerating Them. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Agata Savary |
Typographical Nearest-Neighbor Search in a Finite-State Lexicon and Its Application to Spelling Correction. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Anne Bergeron, Sylvie Hamel |
Cascade Decompositions are Bit-Vector Algorithms. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Tamás Gaál |
Is this Finite-State Transducer Sequentiable? |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Philippe Dubernard, Dominique Geniet |
Scheduling Hard Sporadic Tasks by Means of Finite Automata and Generating Functions. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Champarnaud, Gérard Duchamp |
Brzozowski's Derivatives Extended to Multiplicities. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | João José Neto |
Adaptive Rule-Driven Devices - General Formulation and Case Study. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
adaptive devices, rule-driven formalisms, self-modifying machines, adaptive decision tables, adaptive automata |
1 | Yuri Velinov |
On the Software Design of Cellular Automata Simulators for Ecological Modeling. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Iñaki Alegria, Maxux J. Aranzabe, Nerea Ezeiza, Aitzol Ezeiza, Ruben Urizar |
Using Finite State Technology in Natural Language Processing of Basque. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Lynette van Zijl |
Supernondeterministic Finite Automata. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Markus Holzer 0001, Martin Kutrib |
Improving Raster Image Run-Length Encoding Using Data Order. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Lynette van Zijl |
Random Number Generation with +-NFAs. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sheng Yu 0001, Andrei Paun (eds.) |
Implementation and Application of Automata, 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer |
Past Pushdown Timed Automata. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jim Morey, Kamran Sedig, Robert E. Mercer, M. Wayne Wilson |
Crystal Lattice Automata. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
lattice, automata, tiling, microworlds, crystallography |
1 | Nathalie Friburger, Denis Maurel |
Finite-State Transducer Cascade to Extract Proper Names in Texts. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gregor von Bochmann |
Submodule Construction and Supervisory Control: A Generalization. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Graña, Francisco-Mario Barcala, Miguel A. Alonso 0001 |
Compilation Methods of Minimal Acyclic Finite-State Automata for Large Dictionaries. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | André Kempe |
Extraction of epsilon-Cyclesfrom Finite-State Transducers. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jan Holub 0001 |
Bit Parallelism - NFA Simulation. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Farré, José Fortes Gálvez |
Bounded-Graph Construction for Noncanonical Discriminating-Reverse Parsers. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Frank Drewes, Renate Klempien-Hinrichs |
TREEBAG. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Le Maout |
Cursors. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | David Harel, Hillel Kugler |
Synthesizing State-Based Object Systems from LSC Specifications. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Kamal Lodaya, Ramaswamy Ramanujam |
An Automaton Model of User-Controlled Navigation on the Web. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Paun, Nicolae Santean, Sheng Yu 0001 |
An O(n2) Algorithm for Constructing Minimal Cover Automata for Finite Languages. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Priti Shankar, K. Sasidharan, Vikas Aggarwal, B. Sundar Rajan |
A Package for the Implementation of Block Codes as Finite Automata. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
minimal trellis, decoder complexity, subtrellis overlaying, block codes |
1 | Jacques Farré, José Fortes Gálvez |
A Basis for Looping Extensions to Discriminating-Reverse Parsing. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Pighizzini |
Unary Language Concatenation and Its State Complexity. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Diehl 0001, Andreas Kerren, Torsten Weller |
Visual Exploration of Generation Algorithms for Finite Automata on the Web. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | J. Howard Johnson |
Lessons from INR in the Specification of Transductions. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | André Kempe |
Part-of-Speech Tagging with Two Sequential Transducers. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Anne Bergeron, Sylvie Hamel |
Fast Implementations of Automata Computations. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Dvorský, Václav Snásel |
Word Random Access Compression. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
HuffWord, WLZW, information retrieval, text databases, word-based compression |
1 | Mehryar Mohri |
Generic epsilon -Removal Algorithm for Weighted Automata. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jan Daciuk |
Experiments with Automata Compression. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Anne Brüggemann-Klein, Derick Wood |
Regularly Extended Two-Way Nondeterministic Tree Automata. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Champarnaud |
Implicit Structures to Implement NFA's from Regular Expressions. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Oscar H. Ibarra |
Reachability and Safety in Queue Systems. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Vilares Ferro, Victor M. Darriba, Francisco J. Ribadas |
Regional Least-Cost Error Repair. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Champarnaud, Djelloul Ziadi |
New Finite Automaton Constructions Based on Canonical Derivatives. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | João José Neto |
Solving Complex Problems Efficiently with Adaptive Automata. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Frank Drewes, Sigrid Ewert, Renate Klempien-Hinrichs, Hans-Jörg Kreowski |
Computing Raster Images from Grid Picture Grammars. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Lynette van Zijl, John-Paul Harper, Frank Olivier |
The MERLin Environment Applied to *-NFAs. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Cyrille Héam |
Automata for Pro-V Topologies. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Todd Wareham |
The Parameterized Complexity of Intersection and Composition Operations on Sets of Finite-State Automata. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Bruce W. Watson |
Directly Constructing Minimal DFAs: Combining Two Algorithms by Brzozowski. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Nils Klarlund, Anders Møller, Michael I. Schwartzbach |
MONA Implementation Secrets. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | André Kempe |
Factorization of Ambiguous Finite-State Transducers. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey O. Shallit |
State Complexity and Jacobsthal's Function. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Lauri Karttunen |
Applications of Finite-State Transducers in Natural Language Processing. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Stoyan Mihov, Denis Maurel |
Direct Construction of Minimal Acyclic Subsequential Transducers. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Oscar H. Ibarra, Jianwen Su |
Generalizing the Discrete Timed Automaton. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Caron, Marianne Flouret |
Glushkov Construction for Multiplicities. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Schmitz, Jens Vöge |
Implementation of a Strategy Improvement Algorithm for Finite-State Parity Games. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Tamás Gaál |
Extended Sequentialization of Transducers. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|