Sciweavers

11182 search results - page 8 / 2237
» Shape Analysis of Sets
Sort
View
SAS
2007
Springer
124views Formal Methods» more  SAS 2007»
14 years 4 months ago
Arithmetic Strengthening for Shape Analysis
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
Stephen Magill, Josh Berdine, Edmund M. Clarke, By...
CORR
2010
Springer
215views Education» more  CORR 2010»
13 years 4 months ago
Affine-invariant diffusion geometry for the analysis of deformable 3D shapes
We introduce an (equi-)affine invariant diffusion geometry by which surfaces that go through squeeze and shear transformations can still be properly analyzed. The definition of an...
Daniel Raviv, Alexander M. Bronstein, Michael M. B...
ICDAR
2011
IEEE
12 years 9 months ago
Symbol Recognition by Multiresolution Shape Context Matching
—We present a multiresolution scheme for symbol representation and recognition based on statistical shape features. We define a symbol as a set of shape points, each of which is...
Feng Su, Tong Lu, Ruoyu Yang
CVPR
1999
IEEE
14 years 12 months ago
Shape from Recognition and Learning: Recovery of 3-D Face Shapes
In this paper, a novel framework for the recovery of 3D surfaces of faces from single images is developed. The underlying principle is shape from recognition, i.e. the idea that p...
Dibyendu Nandy, Jezekiel Ben-Arie
ICIP
2007
IEEE
14 years 11 months ago
Large Scale Learning of Active Shape Models
We propose a framework to learn statistical shape models for faces as piecewise linear models. Specifically, our methodology builds upon primitive active shape models(ASM) to hand...
Atul Kanaujia, Dimitris N. Metaxas