2203 search results - page 124 / 441 » Temporal Abstract Interpretation |
133
Voted
FSTTCS
2008
Springer
15 years 4 months ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
116
Voted
FIMH
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. A 4D registration method for the spatio-temporal alignment of cardiac MR image sequences has been developed. The registration algorithm has the ability not only to correc...
142
Voted
ECCV
2004
Springer
16 years 5 months ago
2004
Springer
Abstract. There has been much effort invested in increasing the robustness of human body tracking by incorporating motion models. Most approaches are probabilistic in nature and se...
113
click to vote
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
Abstract. This paper presents a theory for constructing and computing velocity-adapted scale-space filters for spatio-temporal image data. Starting from basic criteria in terms of ...
145
click to vote
MICCAI
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. We describe a framework for training-oriented simulation of temporal bone surgery. Bone dissection is simulated visually and haptically, using a hybrid data representatio...