4 search results - page 1 / 1 » Compositional shape analysis by means of bi-abduction |
POPL
2009
ACM
14 years 5 months ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
VMCAI
2004
Springer
13 years 9 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
CVPR
2008
IEEE
14 years 6 months ago
2008
IEEE
Parametric models of shape and texture such as Active Appearance Models (AAMs) are diverse tools for deformable object appearance modeling and have found important applications in...
SCIA
2007
Springer
13 years 10 months ago
2007
Springer
The work presented here takes place in the field of computer aided analysis of facial expressions displayed in sign language videos. We use Active Appearance Models to model a fac...