77 search results - page 2 / 16 » One Sided Error Predicates in Geometric Computing |
IMAMS
2007
13 years 7 months ago
2007
This paper considers error propagation in three dimensional geometric constructions using a geometric approach. First, we present definitions and constructions of tolerance zones ...
ACTA
1998
13 years 5 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
CAGD
2005
13 years 5 months ago
2005
This paper addresses the point-wise estimation of differential properties of a smooth manifold S--a curve in the plane or a surface in 3D--assuming a point cloud sampled over S is...
LOPSTR
2005
Springer
13 years 11 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
GD
2009
Springer
13 years 10 months ago
2009
Springer
The geometric simultaneous embedding problem asks whether two planar graphs on the same set of vertices in the plane can be drawn using straight lines, such that each graph is pla...