Sciweavers

4745 search results - page 146 / 949
» Discretization: An Enabling Technique
Sort
View
COMPGEOM
1996
ACM
15 years 10 months ago
Robust Adaptive Floating-Point Geometric Predicates
Fast C implementations of four geometric predicates, the 2D and 3D orientation and incircle tests, are publicly available. Their inputs are ordinary single or double precision flo...
Jonathan Richard Shewchuk
PADS
1996
ACM
15 years 10 months ago
Conservative Circuit Simulation on Shared-Memory Multiprocessors
We investigate conservative parallel discrete event simulations for logical circuits on shared-memory multiprocessors. For a first estimation of the possible speedup, we extend th...
Jörg Keller, Thomas Rauber, Bernd Rederlechne...
COMPGEOM
1998
ACM
15 years 10 months ago
Interval Arithmetic Yields Efficient Dynamic Filters for Computational Geometry
We discuss floating-point filters as a means of restricting the precision needed for arithmetic operations while still computing the exact result. We show that interval techniques...
Hervé Brönnimann, Christoph Burnikel, ...
ICLP
2010
Springer
15 years 10 months ago
Logic Programming Foundations of Cyber-Physical Systems
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
Neda Saeedloei
COMPGEOM
2000
ACM
15 years 10 months ago
Algebraic methods and arithmetic filtering for exact predicates on circle arcs
The purpose of this paper is to present a new method to design exact geometric predicates in algorithms dealing with curved objects such as circular arcs. We focus on the comparis...
Olivier Devillers, Alexandra Fronville, Bernard Mo...