1818 search results - page 44 / 364 » The Many Faces of a Translation |
109
Voted
NIPS
2007
15 years 2 months ago
2007
We present a novel paradigm for statistical machine translation (SMT), based on a joint modeling of word alignment and the topical aspects underlying bilingual document-pairs, via...
99
Voted
SIGIR
2002
ACM
15 years 6 days ago
2002
ACM
The quality of translation resources is arguably the most important factor affecting the performance of a cross-language information retrieval system. While many investigations ha...
104
Voted
ICFP
2004
ACM
16 years 15 days ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
84
Voted
AMAI
2004
Springer
15 years 6 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
PLDI
2000
ACM
15 years 4 months ago
2000
ACM
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...