𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An Axiomatic Approach to Robust Geometric Programs

✍ Scribed by Peter Schorn

Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
337 KB
Volume
16
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

✦ Synopsis

Creating robust geometric programs, i.e., programs that handle degenerate configurations correctly, is a difficult problem, especially if the underlying geometric primitives are implemented in floating point arithmetic. This paper presents an axiomatic method for constructing programs built on imprecise primitives and for analyzing their accuracy. We demonstrate the power of this approach by analyzing as a case study a non-trivial plane sweep algorithm for the computation of the closest-pair among a set of points.

πŸ“œ SIMILAR VOLUMES

An axiomatic approach to differentiabili
An axiomatic approach to differentiability on topological groups
✍ Helmut Boseck; Klaus-Peter Rudolph πŸ“‚ Article πŸ“… 1980 πŸ› John Wiley and Sons 🌐 English βš– 535 KB

## Abstract Starting with a list of β€œreasonable” properties, called axioms, we are pointing out, that the notion of differentiability is related to the one parameter subgroups of a topological group. This justifies the idea of RISS [5] and the attempts of one of the authors in an earlier paper [1].

From information to probability: An axio
From information to probability: An axiomatic approachβ€”Inference is information processing
✍ Wilhelm RΓΆdder; Gabriele Kern-Isberner πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 149 KB

We define the very rich language of composed conditionals on a three-valued logic and use this language as the communication tool between man and machine. Communication takes place for three reasons: knowledge acquisition, query, and response. Learning, thinking, and answering questions are of a pur