Sciweavers

2930 search results - page 536 / 586
» The optimal sequence compression
Sort
View
173
Voted
AMFG
2003
IEEE
168views Biometrics» more  AMFG 2003»
15 years 7 months ago
Efficient Active Appearance Model for Real-Time Head and Facial Feature Tracking
This paper addresses the 3D tracking of pose and animation of the human face in monocular image sequences using Active Appearance Models. The classical appearancebased tracking su...
Fadi Dornaika, Jörgen Ahlberg
FGR
2000
IEEE
162views Biometrics» more  FGR 2000»
15 years 7 months ago
Person Tracking in Real-World Scenarios Using Statistical Methods
This paper presents a novel approach to robust and flexible person tracking using an algorithm that combines two powerful stochastic modeling techniques: The first one is the tech...
Gerhard Rigoll, Stefan Eickeler, Stefan Mülle...
FSTTCS
2000
Springer
15 years 7 months ago
Text Sparsification via Local Maxima
In this paper we investigate some properties and algorithms related to a text sparsification technique based on the identification of local maxima in the given string. As the numb...
Pierluigi Crescenzi, Alberto Del Lungo, Roberto Gr...
ICTAI
2000
IEEE
15 years 7 months ago
Building efficient partial plans using Markov decision processes
Markov Decision Processes (MDP) have been widely used as a framework for planning under uncertainty. They allow to compute optimal sequences of actions in order to achieve a given...
Pierre Laroche
TACAS
2000
Springer
151views Algorithms» more  TACAS 2000»
15 years 7 months ago
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
Ramesh Bharadwaj, Steve Sims