Sciweavers

1054 search results - page 5 / 211
» Translation Validation of System Abstractions
Sort
View
COLING
2010
15 years 3 days ago
Translation Model Generalization using Probability Averaging for Machine Translation
Previous methods on improving translation quality by employing multiple SMT models usually carry out as a secondpass decision procedure on hypotheses from multiple systems using e...
Nan Duan, Hong Sun, Ming Zhou
CORR
2004
Springer
142views Education» more  CORR 2004»
15 years 5 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
CLEF
2003
Springer
15 years 10 months ago
Cross-Language Question Answering at the USC Information Sciences Institute
Abstract. The TextMap-TMT cross-language question answering system at USC-ISI was designed to answer Spanish questions from English documents. The system is fully automatic, includ...
Abdessamad Echihabi, Douglas W. Oard, Daniel Marcu...
FASE
2004
Springer
15 years 8 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
TASLP
2010
169views more  TASLP 2010»
14 years 12 months ago
Integration of Statistical Models for Dictation of Document Translations in a Machine-Aided Human Translation Task
Abstract--This paper presents a model for machine aided human translation (MAHT) that integrates source language text and target language acoustic information to produce the text t...
Aarthi Reddy, Richard C. Rose