Sciweavers

2843 search results - page 49 / 569
» Interpolation by geometric algorithm
Sort
View
117
Voted
ICFEM
2005
Springer
15 years 6 months ago
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
Jens Brandt, Klaus Schneider
113
Voted
FOCS
1994
IEEE
15 years 4 months ago
Randomized and deterministic algorithms for geometric spanners of small diameter
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
COMGEO
1999
ACM
15 years 5 days ago
Dynamic algorithms for geometric spanners of small diameter: Randomized solutions
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
146
Voted
GIS
2007
ACM
16 years 1 months ago
Geometric algorithms for clearance based optimal path computation
Priyadarshi Bhattacharya, Marina L. Gavrilova
68
Voted
ISPD
2009
ACM
112views Hardware» more  ISPD 2009»
15 years 7 months ago
Robust interconnect communication capacity algorithm by geometric programming
Jifeng Chen, Jin Sun, Janet Meiling Wang