Sciweavers

1246 search results - page 81 / 250
» Activity Modeling Using Event Probability Sequences
Sort
View
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
15 years 6 months ago
Undecidability Results for Distributed Probabilistic Systems
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
Sergio Giro
IPPS
2008
IEEE
15 years 8 months ago
Model-based fault localization in large-scale computing systems
We propose a new fault localization technique for software bugs in large-scale computing systems. Our technique always collects per-process function call traces of a target system...
Naoya Maruyama, Satoshi Matsuoka
HUMO
2000
Springer
15 years 5 months ago
Human Motion from Active Contours
We describe an approach for extracting threedimensional articulated motion from unrestricted monocular video sequences. We combine feature extraction methods based on active conto...
Jane Wilhelms, Allen Van Gelder, L. Atkinson-Derma...
130
Voted
NN
2006
Springer
141views Neural Networks» more  NN 2006»
15 years 2 months ago
Encoding uncertainty in the hippocampus
The medial temporal lobe may play a critical role in binding successive events into memory while encoding contextual information in implicit and explicit memory tasks. Information...
Lee M. Harrison, Andrew Duggins, Karl J. Friston
CVPR
2003
IEEE
16 years 4 months ago
Video-Based Face Recognition Using Probabilistic Appearance Manifolds
This paper presents a novel method to model and recognize human faces in video sequences. Each registered person is represented by a low-dimensional appearance manifold in the amb...
Kuang-Chih Lee, Jeffrey Ho, Ming-Hsuan Yang, David...