Sciweavers

966 search results - page 102 / 194
» Evaluation of Linguistics-Based Translation
Sort
View
FMCAD
2009
Springer
16 years 29 days ago
Assume-guarantee validation for STE properties within an SVA environment
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...
Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham
MICCAI
2005
Springer
15 years 12 months ago
Automatic 4-D Registration in Dynamic MR Renography Based on Over-Complete Dyadic Wavelet and Fourier Transforms
Dynamic contrast-enhanced 4-D MR renography has the potential for broad clinical applications, but suffers from respiratory motion that limits analysis and interpretation. Since ea...
Ting Song, Vivian S. Lee, Henry Rusinek, Manmeen K...
AMTA
2004
Springer
15 years 11 months ago
Interlingual Annotation for MT Development
MT systems that use only superficial representations, including the current generation of statistical MT systems, have been successful and useful. However, they will experience a p...
Florence Reeder, Bonnie J. Dorr, David Farwell, Ni...
HICSS
2003
IEEE
114views Biometrics» more  HICSS 2003»
15 years 11 months ago
The Effect of Bilingual Term List Size on Dictionary-Based Cross-Language Information Retrieval
Bilingual term lists are extensively used as a resource for dictionary-based Cross-Language Information Retrieval (CLIR), in which the goal is to find documents written in one na...
Dina Demner-Fushman, Douglas W. Oard
CLEF
2006
Springer
15 years 10 months ago
Cross-Lingual Romanian to English Question Answering at CLEF 2006
This paper describes the development of a Question Answering (QA) system and its evaluation results in the Romanian-English cross-lingual track organized as part of the CLEF1 2006 ...
Georgiana Puscasu, Adrian Iftene, Ionut Pistol, Di...