Join Our Newsletter

CORR

2007

Springer

9 years 10 months ago
2007

Springer

This paper details an algorithm for unfolding a class of convex polyhedra, where each polyhedron in the class consists of a convex cap over a rectangular base, with several restri...

CGF

2007

9 years 10 months ago
2007

We present a method for animating deformable objects using a novel ﬁnite element discretization on convex polyhedra. Our ﬁnite element approach draws upon recently introduced ...

FMSD

2006

9 years 10 months ago
2006

Convex polyhedra are often used to approximate sets of states of programs involving numerical variables. The manipulation of convex polyhedra relies on the so-called double descri...

EJC

2010

9 years 10 months ago
2010

The main motivation here is a question: whether any polyhedron which can be subdivided into convex pieces without adding a vertex, and which has the same vertices as a convex poly...

CGF

2008

9 years 10 months ago
2008

Given a 3D solid model S represented by a tetrahedral mesh, we describe a novel algorithm to compute a hierarchy of convex polyhedra that tightly enclose S. The hierarchy can be b...

COMGEO

2010

ACM

9 years 10 months ago
2010

ACM

r Numerical Abstractions6 Roberto Bagnaraa , Patricia M. Hillb , Enea Zaffanellaa aDepartment of Mathematics, University of Parma, Italy bSchool of Computing, University of Leeds, ...

SODA

1992

ACM

9 years 11 months ago
1992

ACM

Given a family of disjoint polygons P1, P2, : : :, Pk in the plane, and an integer parameter m, it is NP-complete to decide if the Pi's can be pairwise separated by a polygon...

CCCG

2008

10 years 13 hour ago
2008

We construct a sequence of convex polyhedra on n vertices with the property that, as n, the fraction of its edge unfoldings that avoid overlap approaches 0, and so the frac

CCCG

2007

10 years 14 hour ago
2007

We prove that an inﬁnite class of convex polyhedra, produced by restricted vertex truncations, always unfold without overlap. The class includes the “domes,” providing a sim...

SAS

1999

Springer

10 years 2 months ago
1999

Springer

We deﬁne an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...