We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentially unbounded collections of numeric objects. Such domains are of benefit to analyses that verify properties of systems with an unbounded number of numeric objects, such as shape analysis, or systems in which the numb...

Shape analysis of simple closed plane curves is an important subject including many chances of application to industry, especially when the curves are apparent contours of objects projected into the plane. A notion of panorama view is introduced, with presentations of some ideas of its application to the subject.

In this paper we develop the theory of parametric polynomial regression in Riemannian manifolds and Lie groups. We show application of Riemannian polynomial regression to shape analysis in Kendall shape space. Results are presented, showing the power of polynomial regression on the classic rat skull growth data of Bookstein as well as the analysis of the shape changes associated with aging of t...

We present a new method for morphing 2D and 3D objects. In particular we focus on the problem of smooth interpolation on a shape manifold. The proposed method takes advantage of two recent works on 2D and 3D shape analysis to compute elastic geodesics between any two arbitrary shapes and interpolations on a Riemannian manifold. Given a finite set of frames of the same (2D or 3D) object from a v...

This paper introduces the concept of discrete multidimensional size function, a mathematical tool studying the so-called size graphs. These graphs constitute an ingredient of Size Theory, a geometrical/topological approach to shape analysis and comparison. A global method for reducing size graphs is presented, together with a theorem stating that size graphs reduced in such a way preserve all t...

This paper describes the work that has been done during the first year of the 3-SHIRT project, which aims at developing innovative solutions in all the phases of content-based 3D shape retrieval, namely: shape analysis and segmentation, design of shape descriptors, shape indexing and matching, and evaluation.

In this paper, we explore the use of the diffusion geometry framework for the fusion of geometric and photometric information in local and global shape descriptors. Our construction is based on the definition of a diffusion process on the shape manifold embedded into a high-dimensional space where the embedding coordinates represent the photometric information. Experimental results show that su...

is book is a guide for researchers and practitioners to the new frontiers of 3D shape analysis and the complex mathematical tools most methods rely on. e target reader includes students, researchers and professionals with an undergraduate mathematics background, who wish to understand the mathematics behind shape analysis. e authors begin with a quick review of basic concepts in geometry, to...

In this paper a fully automated segmentation system for the femur in the knee in Magnetic Resonance Images and the brain in Single Photon Emission Computed Tomography images is presented. To do this several data sets were first segmented manually. The resulting structures were represented by unorganised point clouds. With level set methods surfaces were fitted to these point clouds. The iterate...