Shape analysis concerns the problem of determining “shape invariants” for programs that perform destructive updating on dynamically allocated storage. This paper presents a new algorithm that takes as input a shape descriptor (describing some set of concrete stores X) and a precondition p, and computes the most-precise shape descriptor for the stores in X that satisfy p. This algorithm solves s...

A method for the classification of tabular grain silver halide microcrystals according to their shape is presented. Various approaches of shape analysis and recognition and their applicability for the given problem are discussed. Shape descriptors obtained from Fourier power spectra are used to describe the shape of microcrystals. The classification of the shapes is based on nearest neighborhoo...

We present a new modular shape analysis that can synthesize heap memory specification on a per method basis. We rely on a second-order biabduction mechanism that can give interpretations to unknown shape predicates. There are several novel features in our shape analysis. Firstly, it is grounded on second-order bi-abduction. Secondly, we distinguish unknown pre-predicates in pre-conditions, from...

This paper investigates the extent to which the shape of one of the brain structures, the Corpus Callosum, is correlated to (or moreover, can predict) the gender, handedness or presence of dyslexia. A second goal is to apply a common shape analysis framework to several datasets (totaling 132 CC shapes) previously employed in the literature, as an attempt to mitigate the partly contradicting res...

Shape analysis plays a pivotal role in a large number of applications, ranging from traditional geometry processing to more recent 3D content management. In this scenario, spectral methods are extremely promising as they provide a natural library of tools for shape analysis, intrinsically defined by the shape itself. In particular, the eigenfunctions of the Laplace-Beltrami operator yield a set...

Texture plays an important role in computer vision. It is one of the most important visual attributes used in image analysis, once it provides information about pixel organization at different regions of the image. This paper presents a novel approach for texture characterization, based on complexity analysis. The proposed approach expands the idea of the Mass-radius fractal dimension, a method...

A method is presented for identifying individuals by shape, given a sequence of noisy silhouettes segmented from video. A spectral partitioning framework is used to cluster similar poses and automatically extract gait shapes. The method uses a variance-weighted similarity metric to induce clusters that cover disparate stages in the gait cycle. This technique is applied to the HumanID Gait Chall...

The use of statistical shape models is a promising approach for robust segmentation of medical images. One of the major challenges in building a 3D shape model from a training set of segmented instances of an object is the determination of the correspondence between them. We propose a novel geometric approach that is based on minimizing the distortion of the mapping between two surfaces. In thi...

We develop a statistical test to determine if shape belongs to a given homogeneous family of shapes based on general statistical hypothesis testing. First, we illustrate the membership test on a simple random triangle model. Second we apply this test to face identification problem with the task to identify that the last photo is of the same person with different facial expression. Third, we out...