1005 search results - page 111 / 201 » Temporal Structures |
CVPR
2005
IEEE
16 years 7 days ago
2005
IEEE
We address the problem of temporal unusual event detection. Unusual events are characterized by a number of features (rarity, unexpectedness, and relevance) that limit the applica...
ISBI
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper presents a method for robustly measuring temporal morphological brain changes, by means of a 4D image warping mechanism. Longitudinal stability is achieved by consideri...
89
Voted
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Modeling moving and deforming objects requires capturing as much information as possible during a very short time. When using off-the-shelf hardware, this often hinders the resolu...
69
Voted
DEON
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
84
Voted
CAV
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...