955 search results - page 148 / 191 » Tractable Temporal Reasoning |
115
click to vote
VLDB
2002
ACM
14 years 11 months ago
2002
ACM
RTMonitor is a real-time data management system for traffic navigation applications. In our system, mobile vehicles initiate time-constrained navigation requests and RTMonitor cal...
ICCV
2009
IEEE
14 years 9 months ago
2009
IEEE
Underwater, natural illumination typically varies strongly temporally and spatially. The reason is that waves on the water surface refract light into the water in a spatiotemporal...
133
click to vote
ICDE
2011
IEEE
14 years 3 months ago
2011
IEEE
—In this demonstration paper, we present a powerful distributed framework for finding similar trajectories in a smartphone network, without disclosing the traces of participatin...
100
click to vote
QEST
2005
IEEE
15 years 5 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
We present an approach for tracking varying number of objects through both temporally and spatially significant occlusions. Our method builds on the idea of object permanence to r...