Search results for "CIAA"

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

Publications at "CIAA"( http://dblp.L3S.de/Venues/CIAA )