1216 search results - page 64 / 244 » Translation analysis and translation automation |
FAC
2008
13 years 8 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
SIGDIAL
2010
13 years 6 months ago
2010
The second person pronoun you serves different functions in English. Each of these different types often corresponds to a different term when translated into another language. Cor...
LREC
2008
13 years 9 months ago
2008
We report the results of an experiment to assess the ability of automated MT evaluation metrics to remain sensitive to variations in MT quality as the average quality of the compa...
MICCAI
2002
Springer
14 years 9 months ago
2002
Springer
: This paper presents a deformable model based approach for automated segmentation of kidneys from tree dimensional (3D) abdominal CT images. Since the quality of an input image is...
ICCAD
2007
IEEE
14 years 4 days ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...