1860 search results - page 147 / 372 » A Temporal Logic of Robustness |
88
Voted
FSTTCS
2006
Springer
15 years 4 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...
118
click to vote
CVPR
2007
IEEE
16 years 2 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...
106
click to vote
ECCV
2008
Springer
16 years 2 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...
106
click to vote
ICIP
1998
IEEE
16 years 2 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...
114
Voted
ISBI
2002
IEEE
16 years 1 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...