Sciweavers

2223 search results - page 27 / 445
» Hierarchical Morphable Models
Sort
View
148
Voted
VMCAI
2010
Springer
16 years 1 months ago
Improved Model Checking of Hierarchical Systems
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
Benjamin Aminof, Orna Kupferman, Aniello Murano
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
15 years 9 months ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick
101
Voted
ICIP
2002
IEEE
16 years 5 months ago
Hierarchical approach to enhanced active shape model for color video tracking
Tracking and recognizing non-rigid objects in video image sequences are complex tasks of increasing importance to many applications. In this paper, we present a hierarchical reali...
SangKyu Kang, Joon Ki Paik, Besma R. Abidi, Yan Zh...
ICASSP
2011
IEEE
14 years 7 months ago
Hierarchical Latent Dirichlet Allocation models for realistic action recognition
It has always been very difficult to recognize realistic actions from unconstrained videos because there are tremendous variations from camera motion, background clutter, object a...
Heping Li, Jie Liu, Shuwu Zhang
91
Voted
ICIP
2000
IEEE
16 years 5 months ago
Topology Preserving Deformable Image Matching Using Constrained Hierarchical Parametric Models
Olivier Musse, Fabrice Heitz, Jean-Paul Armspach