A fast finite-state relaxation method for enforcing global constraints on sequence decoding.
Roy W. TrombleJason EisnerPublished in: HLT-NAACL (2006)
Keyphrases
- finite state
- global constraints
- markov chain
- finite state transducers
- constraint programming
- markov decision processes
- model checking
- constraint satisfaction problems
- optimal policy
- weighted constraint satisfaction
- parameterized complexity
- tree automata
- integer programming
- transition systems
- arc consistency
- temporal planning problems
- partially observable markov decision processes
- learning algorithm
- upper bound