955 search results - page 96 / 191 » Tractable Temporal Reasoning |
114
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
138
click to vote
WDAG
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
112
Voted
SIGIR
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we propose a new strategy with time granularity reasoning for utilizing temporal information in topic tracking. Compared with previous ones, our work has four disti...
151
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
160
click to vote
ECCV
2010
Springer
15 years 25 days ago
2010
Springer
Time synchronization of video sequences in a multi-camera system is necessary for successfully analyzing the acquired visual information. Even if synchronization is established, it...