Sciweavers

88 search results - page 2 / 18
» Orthogonal Polyhedra: Representation and Computation
Sort
View
SAS
1999
Springer
13 years 9 months ago
Polyhedral Analysis for Synchronous Languages
We define 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...
Frédéric Besson, Thomas P. Jensen, J...
CORR
2007
Springer
75views Education» more  CORR 2007»
13 years 5 months ago
Polyhedral representation conversion up to symmetries
We give a short survey on computational techniques which can be used to solve the representation conversion problem for polyhedra up to symmetries. In particular we discuss decompo...
David Bremner, Mathieu Dutour Sikiric, Achill Sch&...
MOC
2010
13 years 1 days ago
Computation of conformal representations of compact Riemann surfaces
We find a system of two polynomial equations in two unknowns, whose solution allows us to give an explicit expression of the conformal representation of a simply connected three-sh...
Guillermo López Lagomasino, Domingo Pestana...
COMGEO
2000
ACM
13 years 5 months ago
A hierarchical method for real-time distance computation among moving convex bodies
This paper presents the Hierarchical Walk, or H-Walk algorithm, which maintains the distance between two moving convex bodies by exploiting both motion coherence and hierarchical ...
Leonidas J. Guibas, David Hsu, Li Zhang
COMPGEOM
1999
ACM
13 years 9 months ago
H-Walk: Hierarchical Distance Computation for Moving Convex Bodies
This paper presents the Hierarchical Walk, or H-Walk algorithm, which maintains the distance between two moving convex bodies by exploiting both motion coherence and hierarchical ...
Leonidas J. Guibas, David Hsu, Li Zhang