581 search results - page 29 / 117 » Translating dependency into parametricity |
CORR
2011
Springer
13 years 4 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...
ACL
2011
13 years 1 months ago
2011
In this paper, with a belief that a language model that embraces a larger context provides better prediction ability, we present two extensions to standard n-gram language models ...
ACL
2008
13 years 11 months ago
2008
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 ...
EMNLP
2008
13 years 11 months ago
2008
The performance of machine translation systems varies greatly depending on the source and target languages involved. Determining the contribution of different characteristics of l...
ICMLC
2010
Springer
13 years 8 months ago
2010
Springer
: The performance of a statistical machine translation (SMT) system heavily depends on the quantity and quality of the bilingual language resource. However, the pervious work mainl...