1464 search results - page 69 / 293 » Thread-Modular Shape Analysis |
CC
2012
Springer
12 years 6 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
ICCV
2003
IEEE
15 years 17 days ago
2003
IEEE
We present a novel representation of shape for closed planar contours explicitly designed to possess a linear structure. This greatly simplifies linear operations such as averagin...
ENTCS
2007
13 years 10 months ago
2007
In this paper we develop a framework, based on strand spaces, for reasoning about cryptographic protocols and characterizing their executions. We define skeletons, homomorphisms,...
SMI
2008
IEEE
14 years 5 months ago
2008
IEEE
We present a method for face recognition by fitting a 3D Morphable Model to shape data. Fitting is done with a a robust nonrigid ICP algorithm. For recognition, it is possible to...
IWCIA
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. The expressiveness of a lot of image analysis algorithms depends on the question whether shape information is preserved during digitization. Most existing approaches to a...