2713 search results - page 202 / 543 » Parameterized Tree Systems |
150
click to vote
ACL
2007
15 years 5 months ago
2007
Extracting tree transducer rules for syntactic MT systems can be hindered by word alignment errors that violate syntactic correspondences. We propose a novel model for unsupervise...
132
click to vote
ENTCS
2000
15 years 3 months ago
2000
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...
120
click to vote
ICDAR
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper proposes a syntactic method for detection and correction of misrecognized mathematical formulae for a practical mathematical OCR system. Linear monadic context-free tre...
143
click to vote
EMNLP
2011
14 years 3 months ago
2011
Machine-produced text often lacks grammaticality and fluency. This paper studies grammaticality improvement using a syntax-based algorithm based on CCG. The goal of the search pr...
127
click to vote
STACS
1999
Springer
15 years 8 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...