2586 search results - page 162 / 518 » Automatic Abstraction for Congruences |
MICCAI
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Automatic processing of 3D ultrasound (US) is of great interest for the development of innovative and low-cost computer-assisted surgery tools. In this paper, we present ...
CBSE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
74
Voted
BPM
2008
Springer
15 years 4 days ago
2008
Springer
Abstract. Many work has been conducted to analyze service choreographies to assert manyfold correctness criteria. While errors can be detected automatically, the correction of defe...
105
click to vote
CAISE
2006
Springer
15 years 3 days ago
2006
Springer
Abstract. Incremental workflow mining is a technique for automatically deriving a process model from the on-going executions of a process. This way, the process model becomes more ...
CLEF
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. This paper describes the experience of QAST 2008, the second time a pilot track of CLEF has been held aiming to evaluate the task of Question Answering in Speech Transcri...