Semirings, automata, languages
Semirings, automata, languages
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Theoretical Computer Science
Rational series and their languages
Rational series and their languages
Introduction to algorithms
Handbook of theoretical computer science (vol. B)
Minimisation of acyclic deterministic automata in linear time
Theoretical Computer Science - Selected papers of the Combinatorial Pattern Matching School
Economy of description for single-valued transducers
Information and Computation
Regular models of phonological rule systems
Computational Linguistics - Special issue on computational phonology
Varieties and rational functions
Theoretical Computer Science
Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms
Transition network grammars for natural language analysis
Communications of the ACM
Automata, Languages, and Machines
Automata, Languages, and Machines
Constraint Grammar: A Language-Independent System for Parsing Unrestricted Text
Constraint Grammar: A Language-Independent System for Parsing Unrestricted Text
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Automata: Theoretic Aspects of Formal Power Series
Automata: Theoretic Aspects of Formal Power Series
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Minimization of Sequential Transducers
CPM '94 Proceedings of the 5th Annual Symposium on Combinatorial Pattern Matching
On some applications of finite-state automata theory to natural language processing
Natural Language Engineering
Compact representations by finite-state transducers
ACL '94 Proceedings of the 32nd annual meeting on Association for Computational Linguistics
An efficient compiler for weighted rewrite rules
ACL '96 Proceedings of the 34th annual meeting on Association for Computational Linguistics
Two-level morphology with composition
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
Algorithmic aspects in speech recognition: an introduction
Journal of Experimental Algorithmics (JEA)
International Journal of Parallel Programming
The syntactic prediction with token automata: application to HandiAS system
Theoretical Computer Science
Defense of the ansatz for dynamical hierarchies
Artificial Life
The finite power problem revisited
Information Processing Letters
Semiring frameworks and algorithms for shortest-distance problems
Journal of Automata, Languages and Combinatorics
Minimizing subsequential transducers: a survey
Theoretical Computer Science
Applications of Finite Automata
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Natural Language Processing and Digital Libraries
Information Extraction: Towards Scalable, Adaptable Systems
Computing the Threshold for q-Gram Filters
SWAT '02 Proceedings of the 8th Scandinavian Workshop on Algorithm Theory
COCOON '02 Proceedings of the 8th Annual International Conference on Computing and Combinatorics
Large Vocabulary Continuous Speech Recognition Using Weighted Finite-State Transducers
PorTAL '02 Proceedings of the Third International Conference on Advances in Natural Language Processing
Competing Patterns for Language Engineering
TDS '00 Proceedings of the Third International Workshop on Text, Speech and Dialogue
The Syntactic Prediction with Token Automata: Application to HandiAS System
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
Direct Construction of Minimal Acyclic Subsequential Transducers
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Factorization of Ambiguous Finite-State Transducers
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Generic epsilon -Removal Algorithm for Weighted Automata
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Is this Finite-State Transducer Sequentiable?
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
Using Finite State Technology in Natural Language Processing of Basque
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
Algorithmic Aspects of Speech Recognition: A Synopsis
COM '00 Proceedings of the 11th Annual Symposium on Combinatorial Pattern Matching
Preprocessing for Unification Parsing of Spoken Language
NLP '00 Proceedings of the Second International Conference on Natural Language Processing
Extended Sequentialization of Transducers
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Application of max-plus algebra to biological sequence comparisons
Theoretical Computer Science
Efficient algorithms for testing the twins property
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
Weak bisimulation for (max/+) automata and related models
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
Weighted grammars and automata with threshold interpretation
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
On transformations of formal power series
Information and Computation
Determinization of finite state weighted tree automata
Journal of Automata, Languages and Combinatorics
Exploiting emotions to disambiguate dialogue acts
Proceedings of the 9th international conference on Intelligent user interfaces
Error-Tolerant Sign Retrieval Using Visual Features and Maximum A Posteriori Estimation
IEEE Transactions on Pattern Analysis and Machine Intelligence
Introduction to the special issue on finite-state methods in NLP
Computational Linguistics - Special issue on finite-state methods in NLP
A hybrid approach for named entity and sub-type tagging
ANLC '00 Proceedings of the sixth conference on Applied natural language processing
EACL '99 Proceedings of the ninth conference on European chapter of the Association for Computational Linguistics
Dynamic compilation of weighted context-free grammars
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 2
Deciding sequentiability of finite-state transducers by finite-state pattern-matching
Theoretical Computer Science - Implementation and application automata
Directional constraint evaluation in Optimality Theory
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 1
Finite-state multimodal parsing and understanding
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 1
Identifying temporal expression and its syntactic role using FST and lexical data from corpus
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 2
PAC-learnability of Probabilistic Deterministic Finite State Automata
The Journal of Machine Learning Research
Distribution kernels based on moments of counts
ICML '04 Proceedings of the twenty-first international conference on Machine learning
Bimachines and structurally-reversed automata
Journal of Automata, Languages and Combinatorics
A Generic Finite State Compiler for Tagging Rules
Machine Translation
Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton
Theoretical Computer Science - Developments in language theory
Learning Local Transductions Is Hard
Journal of Logic, Language and Information
An optimal pre-determinization algorithm for weighted transducers
Theoretical Computer Science - Implementation and application of automata
Finite-state multimodal integration and understanding
Natural Language Engineering
Probabilistic Finite-State Machines-Part II
IEEE Transactions on Pattern Analysis and Machine Intelligence
Probabilistic Finite-State Machines-Part I
IEEE Transactions on Pattern Analysis and Machine Intelligence
Disambiguation of finite-state transducers
COLING '02 Proceedings of the 19th international conference on Computational linguistics - Volume 1
A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger
Journal of Functional Programming
Simpler and more general minimization for weighted finite-state automata
NAACL '03 Proceedings of the 2003 Conference of the North American Chapter of the Association for Computational Linguistics on Human Language Technology - Volume 1
A parsing: fast exact Viterbi parse selection
NAACL '03 Proceedings of the 2003 Conference of the North American Chapter of the Association for Computational Linguistics on Human Language Technology - Volume 1
Generalized algorithms for constructing statistical language models
ACL '03 Proceedings of the 41st Annual Meeting on Association for Computational Linguistics - Volume 1
Economy of description for basic constructions on rational transductions
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the fourth international workshop on descriptional complexity of formal systems
Machine Translation with Inferred Stochastic Finite-State Transducers
Computational Linguistics
A General Technique to Train Language Models on Language Models
Computational Linguistics
Journal of Automata, Languages and Combinatorics
Multilingual modeling of cross-lingual spelling variants
Information Retrieval
New developments in parsing technology
Theoretical Computer Science - In honour of Professor Christian Choffrut on the occasion of his 60th birthday
Finite transducers for divisibility monoids
Theoretical Computer Science
FSA: an efficient and flexible C++ toolkit for finite state automata using on-demand computation
ACL '04 Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics
Incremental construction of minimal acyclic sequential transducers from unsorted data
COLING '04 Proceedings of the 20th international conference on Computational Linguistics
COLING '04 Proceedings of the 20th international conference on Computational Linguistics
Partially distribution-free learning of regular languages from positive samples
COLING '04 Proceedings of the 20th international conference on Computational Linguistics
A bimachine compiler for ranked tagging rules
COLING '04 Proceedings of the 20th international conference on Computational Linguistics
Efficient finite state unification morphology
COLING '04 Proceedings of the 20th international conference on Computational Linguistics
A better N-best list: practical determinization of weighted finite tree automata
HLT-NAACL '06 Proceedings of the main conference on Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics
Nondeterministic Bimachines and Rational Relations with Finite Codomain
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Skew and infinitary formal power series
Theoretical Computer Science
Compositions of tree series transformations
Theoretical Computer Science
Weighted automata and weighted logics
Theoretical Computer Science
Acoustic Modelling Using Continuous Rational Kernels
Journal of VLSI Signal Processing Systems
DynaSpeak: SRI's scalable speech recognizer for embedded and mobile systems
HLT '02 Proceedings of the second international conference on Human Language Technology Research
Privacy preserving error resilient dna searching through oblivious automata
Proceedings of the 14th ACM conference on Computer and communications security
Speculative plan execution for information gathering
Artificial Intelligence
Nessi: an EEG-controlled web browser for severely paralyzed patients
Computational Intelligence and Neuroscience - Brain-Computer Interfaces: Towards Practical Implementations and Potential Applications
Introduction to digital speech processing
Foundations and Trends in Signal Processing
Efficient dictionary-based text rewriting using subsequential transducers†
Natural Language Engineering
Coalgebraising Subsequential Transducers
Electronic Notes in Theoretical Computer Science (ENTCS)
A UNIFIED APPROACH TO GRAPHEME-TO-PHONEME CONVERSION FOR THE PLATTOS SLOVENIAN TEXT-TO-SPEECH SYSTEM
Applied Artificial Intelligence
Weighted Distributed Systems and Their Logics
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
3-Way Composition of Weighted Finite-State Transducers
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
A Joint Segmenting and Labeling Approach for Chinese Lexical Analysis
ECML PKDD '08 Proceedings of the European conference on Machine Learning and Knowledge Discovery in Databases - Part II
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Turkish Language Resources: Morphological Parser, Morphological Disambiguator and Web Corpus
GoTAL '08 Proceedings of the 6th international conference on Advances in Natural Language Processing
A family of NFAS free of state reductions
Journal of Automata, Languages and Combinatorics
Reasoning about online algorithms with weighted automata
SODA '09 Proceedings of the twentieth Annual ACM-SIAM Symposium on Discrete Algorithms
Dynamic Programming Algorithms as Products of Weighted Logic Programs
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Natural Language Engineering
Finite-State Technology as a Programming Environment
CICLing '07 Proceedings of the 8th International Conference on Computational Linguistics and Intelligent Text Processing
CLARIN and Free Open Source Finite-State Tools
Proceedings of the 2009 conference on Finite-State Methods and Natural Language Processing: Post-proceedings of the 7th International Workshop FSMNLP 2008
Learning with Weighted Transducers
Proceedings of the 2009 conference on Finite-State Methods and Natural Language Processing: Post-proceedings of the 7th International Workshop FSMNLP 2008
Digital Images: Weighted Automata Theoretical Aspects
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
Hindi Urdu machine transliteration using finite-state transducers
COLING '08 Proceedings of the 22nd International Conference on Computational Linguistics - Volume 1
Context-free parsing through regular approximation
FSMNLP '09 Proceedings of the International Workshop on Finite State Methods in Natural Language Processing
Treatment of ε-moves in subset construction
FSMNLP '09 Proceedings of the International Workshop on Finite State Methods in Natural Language Processing
Learning finite-state models for language understanding
FSMNLP '09 Proceedings of the International Workshop on Finite State Methods in Natural Language Processing
Mixed-source multi-document speech-to-text summarization
MMIES '08 Proceedings of the Workshop on Multi-source Multilingual Information Extraction and Summarization
A noisy-channel model of rational human sentence comprehension under uncertain input
EMNLP '08 Proceedings of the Conference on Empirical Methods in Natural Language Processing
Lattice Minimum Bayes-Risk decoding for statistical machine translation
EMNLP '08 Proceedings of the Conference on Empirical Methods in Natural Language Processing
EMNLP '08 Proceedings of the Conference on Empirical Methods in Natural Language Processing
Latent-variable modeling of string transductions with finite-state methods
EMNLP '08 Proceedings of the Conference on Empirical Methods in Natural Language Processing
Defining syntax-directed translations by tree bimorphisms
Theoretical Computer Science
General suffix automaton construction algorithm and space bounds
Theoretical Computer Science
General indexation of weighted automata: application to spoken utterance retrieval
SpeechIR '04 Proceedings of the Workshop on Interdisciplinary Approaches to Speech Indexing and Retrieval at HLT-NAACL 2004
Learning value predictors for the speculative execution of information gathering plans
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Factored A* search for models over sequences and trees
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Weighted finite automata over strong bimonoids
Information Sciences: an International Journal
Finite-state description of Vietnamese reduplication
ALR7 Proceedings of the 7th Workshop on Asian Language Resources
Weight pushing and binarization for fixed-grammar parsing
IWPT '09 Proceedings of the 11th International Conference on Parsing Technologies
Sphinx-4: a flexible open source framework for speech recognition
Sphinx-4: a flexible open source framework for speech recognition
Graphical models over multiple strings
EMNLP '09 Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing: Volume 1 - Volume 1
Language structure using fuzzy similarity
IEEE Transactions on Fuzzy Systems
Reasoning about online algorithms with weighted automata
ACM Transactions on Algorithms (TALG)
A bibliographical study of grammatical inference
Pattern Recognition
Edit-distance of weighted automata
CIAA'02 Proceedings of the 7th international conference on Implementation and application of automata
CIAA'02 Proceedings of the 7th international conference on Implementation and application of automata
Implementation of dictionaries via automata and decision trees
CIAA'02 Proceedings of the 7th international conference on Implementation and application of automata
CIAA'02 Proceedings of the 7th international conference on Implementation and application of automata
The myhill-nerode theorem for recognizable tree series
DLT'03 Proceedings of the 7th international conference on Developments in language theory
From Glushkov WFAs to rational expressions
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Deciding the sequentiality of a finitely ambiguous max-plus automaton
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Skew and infinitary formal power series
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Residual languages and probabilistic automata
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
An efficient pre-determinization algorithm
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
WFSC: a new weighted finite state compiler
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Learning languages with rational kernels
COLT'07 Proceedings of the 20th annual conference on Learning theory
OpenFst: a general and efficient weighted finite-state transducer library
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
Factor automata of automata and applications
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
Syntax-directed translations and quasi-alphabetic tree bimorphisms
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
To separate speech: a system for recognizing simultaneous speech
MLMI'07 Proceedings of the 4th international conference on Machine learning for multimodal interaction
ACM Transactions on Computational Logic (TOCL)
Efficient and robust music identification with weighted finite-state transducers
IEEE Transactions on Audio, Speech, and Language Processing
Rewriting the orthography of sms messages
Natural Language Engineering
Efficient inference through cascades of weighted tree transducers
ACL '10 Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics
A rational model of eye movement control in reading
ACL '10 Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics
Multi-sentence compression: finding shortest paths in word graphs
COLING '10 Proceedings of the 23rd International Conference on Computational Linguistics
Subsequential transducers: a coalgebraic perspective
Information and Computation
IEEE Transactions on Audio, Speech, and Language Processing
Towards general algorithms for grammatical inference
ALT'10 Proceedings of the 21st international conference on Algorithmic learning theory
Reducing nondeterministic finite automata with SAT solvers
FSMNLP'09 Proceedings of the 8th international conference on Finite-state methods and natural language processing
Joining composition and trimming of finite-state transducers
FSMNLP'09 Proceedings of the 8th international conference on Finite-state methods and natural language processing
An improved algorithm for determinization of weighted and fuzzy automata
Information Sciences: an International Journal
Coping with selfish on-going behaviors
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Finite-state scriptural translation
COLING '10 Proceedings of the 23rd International Conference on Computational Linguistics: Posters
Hierarchical phrase-based translation with weighted finite-state transducers and shallow-n grammars
Computational Linguistics
Uniformizing rational relations for natural language applications using weighted determinization
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
Better hyper-minimization: not as fast, but fewer errors
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
Products of weighted logic programs
Theory and Practice of Logic Programming
Minimizing deterministic lattice automata
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
Resources for Turkish morphological processing
Language Resources and Evaluation
Resources for Turkish morphological processing
Language Resources and Evaluation
Formal and empirical grammatical inference
HLT '11 Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Tutorial Abstracts of ACL 2011
MWU-aware part-of-speech tagging with a CRF model and lexical resources
MWE '11 Proceedings of the Workshop on Multiword Expressions: from Parsing and Generation to the Real World
The cost of traveling between languages
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Nondeterministic Moore automata and Brzozowski's algorithm
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
Pushing for weighted tree automata
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
Max and sum semantics for alternating weighted automata
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Formal analysis of online algorithms
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Coping with selfish on-going behaviors
Information and Computation
Probabilistic management of OCR data using an RDBMS
Proceedings of the VLDB Endowment
Weighted automata and weighted logics
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Index-based incremental language model for scalable directory assistance
Speech Communication
Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring
Theoretical Computer Science
Path-equivalent removals of ε-transitions in a genomic weighted finite automaton
CIAA'06 Proceedings of the 11th international conference on Implementation and Application of Automata
Tiburon: a weighted tree automata toolkit
CIAA'06 Proceedings of the 11th international conference on Implementation and Application of Automata
On the computation of some standard distances between probabilistic automata
CIAA'06 Proceedings of the 11th international conference on Implementation and Application of Automata
A coalgebraic perspective on linear weighted automata
Information and Computation
A unified construction of the glushkov, follow, and antimirov automata
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
Myhill-Nerode theorem for sequential transducers over unique GCD-Monoids
CIAA'04 Proceedings of the 9th international conference on Implementation and Application of Automata
Weighted automata and weighted logics on infinite words
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
Juicer: a weighted finite-state transducer speech decoder
MLMI'06 Proceedings of the Third international conference on Machine Learning for Multimodal Interaction
Extracting structured subject information from digital document archives
ICADL'06 Proceedings of the 9th international conference on Asian Digital Libraries: achievements, Challenges and Opportunities
Efficient computation of the relative entropy of probabilistic automata
LATIN'06 Proceedings of the 7th Latin American conference on Theoretical Informatics
Modularization of regular growth automata
FSMNLP '11 Proceedings of the 9th International Workshop on Finite State Methods and Natural Language Processing
Open source WFST tools for LVCSR cascade development
FSMNLP '11 Proceedings of the 9th International Workshop on Finite State Methods and Natural Language Processing
Measuring the confusability of pronunciations in speech recognition
FSMNLP '11 Proceedings of the 9th International Workshop on Finite State Methods and Natural Language Processing
Finding the most probable string and the consensus string: an algorithmic study
IWPT '11 Proceedings of the 12th International Conference on Parsing Technologies
A monotonic statistical machine translation approach to speaking style transformation
Computer Speech and Language
Characterizing the rational functions by restarting transducers
LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications
Nondeterministic Moore automata and Brzozowski's minimization algorithm
Theoretical Computer Science
Deciding the Value 1 Problem for Probabilistic Leaktight Automata
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
From Glushkov WFAs to \mathbb{K}-Expressions
Fundamenta Informaticae
Minimal DFA for symmetric difference NFA
DCFS'12 Proceedings of the 14th international conference on Descriptional Complexity of Formal Systems
Nondeterministic Bimachines and Rational Relations with Finite Codomain
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Use of contexts in language model interpolation and adaptation
Computer Speech and Language
Why long words take longer to read: the role of uncertainty about word length
CMCL '12 Proceedings of the 3rd Workshop on Cognitive Modeling and Computational Linguistics
Bounded copying is subsequential: implications for metathesis and reduplication
SIGMORPHON '12 Proceedings of the Twelfth Meeting of the Special Interest Group on Computational Morphology and Phonology
Towards probabilistic acceptors and transducers for feature structures
SSST-6 '12 Proceedings of the Sixth Workshop on Syntax, Semantics and Structure in Statistical Translation
A disambiguation algorithm for finite automata and functional transducers
CIAA'12 Proceedings of the 17th international conference on Implementation and Application of Automata
Making weighted containment feasible: a heuristic based on simulation and abstraction
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Approximating deterministic lattice automata
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
On the learnability of shuffle ideals
ALT'12 Proceedings of the 23rd international conference on Algorithmic Learning Theory
Parameterized weighted containment
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Rigorous approximated determinization of weighted automata
Theoretical Computer Science
A general technique to train language models on language models
Computational Linguistics
Formalizing and reasoning about quality
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
Hyper-optimization for deterministic tree automata
CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata
Equivalence of extended symbolic finite transducers
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
On the learnability of shuffle ideals
The Journal of Machine Learning Research
Hi-index | 0.01 |
Finite-machines have been used in various domains of natural language processing. We consider here the use of a type of transducer that supports very efficient programs: sequential transducers. We recall classical theorems and give new ones characterizing sequential string-to-string transducers. Transducers that outpur weights also play an important role in language and speech processing. We give a specific study of string-to-weight transducers, including algorithms for determinizing and minizizing these transducers very efficiently, and characterizations of the transducers admitting determinization and the corresponding algorithms. Some applications of these algorithms in speech recognition are described and illustrated.