2850 search results - page 489 / 570 » On Timed Models and Full Abstraction |
126
click to vote
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
139
Voted
ECCV
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. The visual analysis of human manipulation actions is of interest for e.g. human-robot interaction applications where a robot learns how to perform a task by watching a hu...
195
Voted
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract-- Our demonstration introduces a novel system architecture which massively facilitates optimization in data stream management systems (DSMS). The basic idea is to decouple...
100
click to vote
MICCAI
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. In this paper we present an accurate cardiac boundary tracking method for 2D tagged MRI time sequences. This method naturally integrates the motion and the static local a...
92
Voted
MICCAI
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. Accurate patient registration and referencing is a key element in navigated surgery. Unfortunately all existing methods are either invasive or very time consuming. In thi...