Sciweavers

390 search results - page 11 / 78
» Weather Report Translation Using a Translation Memory
Sort
View
ICCD
2004
IEEE
137views Hardware» more  ICCD 2004»
14 years 4 months ago
Comparative Study of Strategies for Formal Verification of High-Level Processors
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
Miroslav N. Velev
LREC
2008
155views Education» more  LREC 2008»
13 years 9 months ago
Using Reordering in Statistical Machine Translation based on Alignment Block Classification
Statistical Machine Translation (SMT) is based on alignment models which learn from bilingual corpora the word correspondences between source and target language. These models are...
Marta R. Costa-Jussà, José A. R. Fon...
SIGMETRICS
1996
ACM
174views Hardware» more  SIGMETRICS 1996»
13 years 11 months ago
Embra: Fast and Flexible Machine Simulation
This paper describes Embra, a simulator for the processors, caches, and memory systems of uniprocessors and cache-coherent multiprocessors. When running as part of the SimOS simul...
Emmett Witchel, Mendel Rosenblum
NAACL
2004
13 years 9 months ago
Minimum Bayes-Risk Decoding for Statistical Machine Translation
We present Minimum Bayes-Risk (MBR) decoding for statistical machine translation. This statistical approach aims to minimize expected loss of translation errors under loss functio...
Shankar Kumar, William J. Byrne
ACL
1997
13 years 8 months ago
Decoding Algorithm in Statistical Machine Translation
Decoding algorithm is a crucial part in statistical machine translation. We describe a stack decoding algorithm in this paper. We present the hypothesis scoring method and the heu...
Ye-Yi Wang, Alex Waibel