1860 search results - page 106 / 372 » A Temporal Logic of Robustness |
116
click to vote
ECCV
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we propose a novel approach for the spatial segmentation of video sequences containing multiple temporal textures. This work is based on the notion that a single tem...
193
Voted
ICDE
1999
IEEE
16 years 1 months ago
1999
IEEE
Temporal reasoning and temporal query languages present di cult research problems of theoretical interest and practical importance. One problem is the chasm between point-based te...
NECO
2008
15 years 17 days ago
2008
To perform automatic, unconscious inference, the human brain must solve the "binding problem" by correctly grouping properties with objects. Temporal binding models like...
132
Voted
ECCV
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper, we address the problem of tracking the temporal evolution of arbitrary shapes observed in multi-camera setups. This is motivated by the ever growing number...
134
click to vote
PODC
1990
ACM
15 years 4 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...