2649 search results - page 52 / 530 » Temporal Theories of Reasoning |
103
click to vote
WACV
2005
IEEE
15 years 5 months ago
2005
IEEE
— In this work, we present a formalization of the video synchronization problem that exposes new variants of the problem that have been left unexplored to date. We also present a...
115
click to vote
DBPL
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We address a fundamental question concerning spatio-temporal database systems: “What are exactly spatio-temporal queries?” We define spatio-temporal queries to be co...
95
Voted
TOCL
2010
14 years 6 months ago
2010
TIME
2008
IEEE
15 years 6 months ago
2008
IEEE
We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfi...
AIIA
2005
Springer
15 years 1 months ago
2005
Springer
We propose a framework for performing extensional and intensional temporal reasoning about qualitative and quantitative “periodicity-dependent” temporal constraints between rep...