Sciweavers

9 search results - page 2 / 2
» Implicit Dynamic Frames: Combining Dynamic Frames and Separa...
Sort
View
ICASSP
2011
IEEE
13 years 1 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
14 years 4 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 7 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
14 years 3 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...