1860 search results - page 123 / 372 » A Temporal Logic of Robustness |
108
Voted
ICIP
2002
IEEE
16 years 2 months ago
2002
IEEE
This paper presents a new object-based segmentation technique which exploits a large temporal context in order to get coherent and robust segmentation results. The segmentation pr...
106
click to vote
ICVS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a real-time approach for traversable surface detection using a low-cost monocular camera mounted on an autonomous vehicle. The proposed methodology extracts co...
110
click to vote
TIME
1994
IEEE
15 years 4 months ago
1994
IEEE
: In this paper we explain how we have integrated the functionalities of a constraint management system and a temporal data base system to enable a model-based control of systems t...
PAMI
2010
14 years 11 months ago
2010
— Time-of-flight range sensors and passive stereo have complimentary characteristics in nature. To fuse them to get high accuracy depth maps varying over time, we extend traditi...
197
click to vote
POPL
2006
ACM
16 years 29 days ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...