1860 search results - page 147 / 372 » A Temporal Logic of Robustness |
165
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
We consider a general class of timed automata parameterized by a set of "input-determined" operators, in a continuous time setting. We show that for any such set of opera...
195
Voted
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
Groupwise shape registration of raw edge sequence is addressed. Automatically extracted edge maps are treated as noised input shape of the deformable object and their registration...
202
Voted
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
In this paper, we address the problem of surface tracking in multiple camera environments and over time sequences. In order to fully track a surface undergoing significant deformat...
190
Voted
ICIP
1998
IEEE
16 years 8 months ago
1998
IEEE
The purpose of this paper is to develop a motionbased segmentation for digital image sequences that is based on continuous wavelet transform. Continuous wavelet transform allows e...
190
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
We propose a new global registration method for estimating the cardiac displacement field in 2D sequences of ultrasound images of the heart. The basic idea is to select a referenc...