Recent progress in exact geometric computation

C Li, S Pion, CK Yap - The Journal of Logic and Algebraic Programming, 2005‏ - Elsevier
Computational geometry has produced an impressive wealth of efficient algorithms. The
robust implementation of these algorithms remains a major issue. Among the many …

Visibility-based pursuit-evasion with limited field of view

BP Gerkey, S Thrun, G Gordon - The International Journal of …, 2006‏ - journals.sagepub.com
We study the visibility-based pursuit-evasion problem, in which one or more searchers must
move through a given environment so as to guarantee detection of any and all evaders …

VRONI: An engineering approach to the reliable and efficient computation of Voronoi diagrams of points and line segments

M Held - Computational Geometry, 2001‏ - Elsevier
We discuss the design and implementation of a topology-oriented algorithm for the
computation of Voronoi diagrams of points and line segments in the two-dimensional …

[PDF][PDF] Interval arithmetic yields efficient dynamic filters for computational geometry

H Brönnimann, C Burnikel, S Pion - Proceedings of the fourteenth …, 1998‏ - dl.acm.org
We discuss interval techniques for speeding up the exact evaluation of geometric predicates
and describe an eflicient implementation of interval arithmetic that is strongly influenced by …

[كتاب][B] Geometric data structures for computer graphics

E Langetepe, G Zachmann - 2006‏ - taylorfrancis.com
Data structures and tools from computational geometry help to solve problems in computer
graphics; these methods have been widely adopted by the computer graphics community …

A core library for robust numeric and geometric computation

V Karamcheti, C Li, I Pechtchanski, C Yap - Proceedings of the fifteenth …, 1999‏ - dl.acm.org
Nonrobustness is a well-known problem in many areas of computational science. Until now,
robustness techniques and the construction of robust algorithms have been the province of …

VLSI design of a large-number multiplier for fully homomorphic encryption

W Wang, X Huang, N Emmart… - IEEE Transactions on …, 2013‏ - ieeexplore.ieee.org
This paper presents the design of a power-and area-efficient high-speed 768000-bit
multiplier, based on fast Fourier transform multiplication for fully homomorphic encryption …

A generic library for floating-point numbers and its application to exact computing

M Daumas, L Rideau, L Théry - … on Theorem Proving in Higher Order …, 2001‏ - Springer
In this paper we present a general library to reason about floating-point numbers within the
Coq system. Most of the results of the library are proved for an arbitrary floating-point format …

Robust geometric computing in motion

D Halperin - The International Journal of Robotics Research, 2002‏ - journals.sagepub.com
Transforming a geometric algorithm into an effective computer program is a difficult task.
This transformation is particularly made hard by the basic assumptions of most theoretical …

[كتاب][B] Algorithm Engineering

M Müller-Hannemann, S Schirra - 2001‏ - Springer
The systematic development of efficient algorithms has become a key technology for all
kinds of ambitious and innovative computer applications. With major parts of algorithmic …