Sciweavers

5356 search results - page 702 / 1072
» Adventures in time and space
Sort
View
QEST
2005
IEEE
16 years 11 days 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
ISCI
2007
141views more  ISCI 2007»
15 years 6 months ago
A performance comparison of distance-based query algorithms using R-trees in spatial databases
Efficient processing of distance-based queries (DBQs) is of great importance in spatial databases due to the wide area of applications that may address such queries. The most repr...
Antonio Corral, Jesús Manuel Almendros-Jim&...
CVPR
2008
IEEE
16 years 8 months ago
Reconstructing non-stationary articulated objects in monocular video using silhouette information
This paper presents an approach to reconstruct nonstationary, articulated objects from silhouettes obtained with a monocular video sequence. We introduce the concept of motion blu...
Saad M. Khan, Mubarak Shah
181
Voted
ICIP
1998
IEEE
16 years 8 months ago
Rotational Wavelet Transforms for Motion Analysis Estimation and Tracking
Thispaper addresses the problem of estimating, analyzing and tracking objects moving with spatio-temporal rotational motion (i.e. the angular velocity of spinning or orbiting moti...
Jean-Pierre Leduc, Jonathan R. Corbett, M. Victor ...
ICDE
2006
IEEE
156views Database» more  ICDE 2006»
16 years 8 months ago
What's Different: Distributed, Continuous Monitoring of Duplicate-Resilient Aggregates on Data Streams
Emerging applications in sensor systems and network-wide IP traffic analysis present many technical challenges. They need distributed monitoring and continuous tracking of events....
Graham Cormode, S. Muthukrishnan, Wei Zhuang