3047 search results - page 303 / 610 » A Temporal Consensus Model |
193
click to vote
SSD
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In moving object databases, object locations in some multidimensional space depend on time. Previous work focuses mainly on moving object modeling (e.g., using ADTs, temp...
144
click to vote
COLING
1994
15 years 8 months ago
1994
This paper introduces a semantic theory I)I,PW, l)ynamic l,ogic with Possible World, which extends Groenendijk's I)PI, and Cresswell's Indices Semantics. The semantics c...
184
Voted
FUIN
2010
15 years 4 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
209
click to vote
IHI
2010
15 years 1 months ago
2010
One of the most common functions of smart environments is to monitor and assist older adults with their activities of daily living. Activity recognition is a key component in this...
198
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
We present a novel framework for recognizing repetitive
sequential events performed by human actors with strong
temporal dependencies and potential parallel overlap. Our
solutio...