Search Sciweavers | Sciweavers

2843 search results - page 49 / 569

» Interpolation by geometric algorithm

click to vote

ICFEM
2005
Springer

128views Software Engineering» more ICFEM 2005»

Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry

14 years 3 months ago

Download rsg.informatik.uni-kl.de

Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic deﬁnitions of geometry for th...

Jens Brandt, Klaus Schneider

claim paper

Read More »

click to vote

FOCS
1994
IEEE

114views Theoretical Computer Science» more FOCS 1994»

Randomized and deterministic algorithms for geometric spanners of small diameter

14 years 1 months ago

Download www.cs.ust.hk

Let S be a set of n points in IRd and let t > 1 be a real number. A t-spanner for S is a directed graph having the points of S as its vertices, such that for any pair p and q o...

Sunil Arya, David M. Mount, Michiel H. M. Smid

claim paper

Read More »

click to vote

COMGEO
1999
ACM

87views Applied Computing» more COMGEO 1999»

Dynamic algorithms for geometric spanners of small diameter: Randomized solutions

13 years 9 months ago

Download www.cs.ust.hk

Let S be a set of n points in IRd and let t > 1 be a real number. A t-spanner for S is a directed graph having the points of S as its vertices, such that for any pair p and q o...

Sunil Arya, David M. Mount, Michiel H. M. Smid

claim paper

Read More »

click to vote

GIS
2007
ACM

129views Automated Reasoning» more GIS 2007»

Geometric algorithms for clearance based optimal path computation

14 years 11 months ago