Sciweavers

859 search results - page 133 / 172
» Abduction in Temporal Reasoning
Sort
View
ICCV
2009
IEEE
13 years 5 months ago
Stereo from flickering caustics
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...
Yohay Swirski, Yoav Y. Schechner, Ben Herzberg, Sh...
ICDE
2011
IEEE
224views Database» more  ICDE 2011»
12 years 11 months ago
SmartTrace: Finding similar trajectories in smartphone networks without disclosing the traces
—In this demonstration paper, we present a powerful distributed framework for finding similar trajectories in a smartphone network, without disclosing the traces of participatin...
Costandinos Costa, Christos Laoudias, Demetrios Ze...
QEST
2005
IEEE
14 years 1 months ago
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs
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...
YoungMin Kwon, Gul A. Agha
CVPR
2005
IEEE
14 years 9 months ago
Tracking Multiple Objects through Occlusions
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...
Yan Huang, Irfan A. Essa
ICIP
2002
IEEE
14 years 9 months ago
Lossless video coding using optimal 3D prediction
In this paper, we consider the problem of lossless compression of video by taking into account temporal information. Video lossless compression is an interesting possibility in th...
Dania Brunello, Giancarlo Calvagno, Gian Antonio M...