Sciweavers

2626 search results - page 230 / 526
» The complexity of stochastic sequences
Sort
View
ENTCS
2008
103views more  ENTCS 2008»
15 years 6 months ago
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
Stefan Blom, Boudewijn R. Haverkort, Matthias Kunt...
ICS
2010
Tsinghua U.
16 years 4 months ago
Space-Efficient Estimation of Robust Statistics and Distribution Testing
: The generic problem of estimation and inference given a sequence of i.i.d. samples has been extensively studied in the statistics, property testing, and learning communities. A n...
Steve Chien, Katrina Ligett, Andrew McGregor
CVPR
2003
IEEE
16 years 8 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...
ECCV
2002
Springer
16 years 8 months ago
Model-Based Silhouette Extraction for Accurate People Tracking
Abstract. In this work, we introduce a model-based approach to extracting the silhouette of people in motion from stereo video sequences. To this end, we extend a purely stereo-bas...
Pascal Fua, Ralf Plänkers
ICIP
2007
IEEE
16 years 8 months ago
Phase PCA for Dynamic Texture Video Compression
Temporal or dynamic textures (DT's) are video sequences that are spatially repetitive and temporally stationary. DT's are temporal analogs of the well known spatial stil...
Bernard Ghanem, Narendra Ahuja