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...
Roland Meyer, Johannes Faber, Jochen Hoenicke, And...
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...
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...
: 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...
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...