Sciweavers

9 search results - page 2 / 2
» Implicit Dynamic Frames: Combining Dynamic Frames and Separa...
Sort
View
ICASSP
2011
IEEE
12 years 8 months ago
A robust lip tracking algorithm using localized color active contours and deformable models
Lip tracking is crucial to the success of a lipreading recognition system. This paper presents a robust lip tracking algorithm using localized color active contours and deformable...
Xin Liu, Yiu-ming Cheung
ESOP
2009
Springer
13 years 11 months ago
A Basis for Verifying Multi-threaded Programs
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
K. Rustan M. Leino, Peter Müller
JOT
2010
97views more  JOT 2010»
13 years 3 months ago
Towards a theory and calculus of aliasing
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obj...
Bertrand Meyer
DAGM
2009
Springer
13 years 11 months ago
Markerless 3D Face Tracking
We present a novel algorithm for the markerless tracking of deforming surfaces such as faces. We acquire a sequence of 3D scans along with color images at 40Hz. The data is then re...
Christian Walder, Martin Breidt, Heinrich H. B&uum...