55 search results - page 1 / 11 » The predicates of the Apollonius diagram: Algorithmic analys... |
COMGEO
2006
ACM
13 years 5 months ago
2006
ACM
GI
2001
Springer
13 years 9 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
COMPGEOM
2006
ACM
13 years 11 months ago
2006
ACM
This paper examines the computation of the Voronoi diagram of a set of ellipses in the Euclidean plane. We propose the first complete algorithms, under the exact computation para...
FMCAD
2009
Springer
13 years 11 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
SMA
2009
ACM
13 years 11 months ago
2009
ACM
We examine the problem of computing exactly the Delaunay graph (and the dual Voronoi diagram) of a set of, possibly intersecting, smooth convex pseudo-circles in the Euclidean pla...