1860 search results - page 337 / 372 » A Temporal Logic of Robustness |
DAGSTUHL
2007
15 years 2 months ago
2007
arrhythmias (extended abstract) Elisa Fromont, Ren´e Quiniou, Marie-Odile Cordier We are interested in using parallel universes to learn interpretable models that can be subseque...
118
click to vote
IANDC
2008
15 years 1 months ago
2008
act Interpretation Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy The Paige and Tarjan algorithm (PT) for comp...
148
click to vote
LOGCOM
1998
15 years 28 days ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
125
click to vote
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
In this paper, we propose a particle filtering approach for the problem of registering two point sets that differ by a rigid body transformation. Typically, registration algorithm...
107
click to vote
ECCV
2008
Springer
16 years 3 months ago
2008
Springer
While image registration has been studied in different areas of computer vision, aligning images depicting different scenes remains a challenging problem, closer to recognition tha...