Sciweavers

96 search results - page 1 / 20
» Ordering Constraints over Feature Trees
Sort
View
CP
1997
Springer
13 years 9 months ago
Ordering Constraints over Feature Trees
Feature trees have been used to accommodate records in constraint programming and record like structures in computational linguistics. Feature trees model records, and feature cons...
Martin Müller, Joachim Niehren, Andreas Podel...
LICS
1998
IEEE
13 years 9 months ago
The First-Order Theory of Ordering Constraints over Feature Trees
Martin Müller, Joachim Niehren, Ralf Treinen
ICALP
1998
Springer
13 years 9 months ago
Constraint Automata and the Complexity of Recursive Subtype Entailment
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...
Fritz Henglein, Jakob Rehof
ACL
2008
13 years 6 months ago
Cohesive Phrase-Based Decoding for Statistical Machine Translation
Phrase-based decoding produces state-of-theart translations with no regard for syntax. We add syntax to this process with a cohesion constraint based on a dependency tree for the ...
Colin Cherry