3166 search results - page 46 / 634 » Translation By Structural Correspondences |
96
Voted
IFM
2010
Springer
14 years 11 months ago
2010
Springer
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
COLING
1996
15 years 1 months ago
1996
ADOMIT is an algorithln for Automatic Detection of OMissions in Translations. The algorithm relies solely on geometric analysis of bitext maps and uses no linguistic information. ...
107
click to vote
LICS
2003
IEEE
15 years 5 months ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...
90
Voted
COLING
2000
15 years 1 months ago
2000
This paper describes a self-modelling, incremental algorithm for learning translation rules from existing bilingual corpora. The notions of supracontext and subcontext are extende...
95
Voted
EMNLP
2004
15 years 1 months ago
2004
This paper proposes a novel method to compile statistical models for machine translation to achieve efficient decoding. In our method, each statistical submodel is represented by ...