In this paper we define a new methodology for shape analysis of parameterized surfaces, where the main issues are: (1) choice of metric for shape comparisons and (2) invariance to reparameterization. We begin by defining a general elastic metric on the space of parameterized surfaces. The main advantages of this metric are twofold. First, it provides a natural interpretation of elastic shape de...

The square root velocity framework is a method in shape analysis to define a distance between curves and functional data. Identifying two curves if they differ by a reparametrisation leads to the quotient space of unparametrised curves. In this paper we study analytical and topological aspects of this construction for the class of absolutely continuous curves. We show that the square root veloc...

The use of Laplacian eigenbases has been shown to be fruitful in many computer graphics applications. Today, state-of-the-art approaches to shape analysis, synthesis, and correspondence rely on these natural harmonic bases that allow using classical tools from harmonic analysis on manifolds. However, many applications involving multiple shapes are obstacled by the fact that Laplacian eigenbases...

In this paper, we explore the use of over-complete spherical wavelets in shape analysis of closed 2D surfaces. Previous work has demonstrated, theoretically and practically, the advantages of overcomplete over bi-orthogonal spherical wavelets. Here we present a detailed formulation of over-complete wavelets, as well as shape analysis experiments of cortical folding development using them. Our e...

Design style is an abstraction and reflection of human perception about features across products. It is of importance in art, architectural, fashion, and industrial design. This paper focuses on the understanding of shape style represented by form features and explores the influence of form features on a style by the topological structure and geometric variation. The relationship between the ge...

We propose a method to estimate the detailed 3D shape of a person from images of that person wearing clothing. The approach exploits a model of human body shapes that is learned from a database of over 2000 range scans. We show that the parameters of this shape model can be recovered independently of body pose. We further propose a generalization of the visual hull to account for the fact that ...

TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use linked data structures. We report on dramatic improvements in TVLA’s performance, which make the cost of parametric shape analysis comparable to that of the most efficient specialized shape-analysis tools (which restrict the class ...

A generic, model-independent method for the analysis of the two-particle short-range correlations is presented, that can be utilized to describe e.g. Bose-Einstein (HBT or GGLP), statistical, dynamical or other short-range correlation functions. The method is based on a data-motivated choice for the zero-th order approximation for the shape of the correlation function, and on a systematic deter...

In the context of shape analysis, counterexample validation and abstraction refinement are complex and so far not sufficiently resolved problems. We provide a novel solution to both of these problems in the context of fullyautomated and rather general shape analysis based on forest automata. Our approach is based on backward symbolic execution on forest automata, allowing one to derive automata...

Skeleton structures of objects are used in a wide variety of applications such as shape analysis and path planning. One of the most widely used skeletons is the medial axis, which is a thin structure centered within and homotopy equivalent to the object. However, on piecewise linear surfaces, which are one of the most common outputs from surface reconstruction algorithms, natural generalization...