Sciweavers

1614 search results - page 236 / 323
» Planning as Temporal Reasoning
Sort
View
QEST
2005
IEEE
15 years 9 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
16 years 6 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
144
Voted
ICIP
2002
IEEE
16 years 5 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...
ICIP
1999
IEEE
16 years 5 months ago
A Framework for Measuring Video Similarity and Its Application to Video Query by Example
The usefulness of a video database relies on whether the video of interest can be easily located. To allow exploring, browsing, and retrieving videos according to their visual con...
Yap-Peng Tan, Sanjeev R. Kulkarni, Peter J. Ramadg...
ISBI
2004
IEEE
16 years 4 months ago
Detection of Functional Networks In The Resting Brain
Recently, increasing attention has focused on exploring brain activity during rest. A current challenge is to ascertain activity patterns without using an external reference. In t...
Yong He, Yufeng Zang, Tianzi Jiang, Yingli Lu, Xuc...