4850 search results - page 46 / 970 » Proof and Computation in Geometry |
104
click to vote
ICFEM
2005
Springer
15 years 4 months ago
2005
Springer
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...
SCALESPACE
2009
Springer
15 years 5 months ago
2009
Springer
In this paper a framework for defining scale-spaces, based on the computational geometry concepts of α-shapes, is proposed. In this approach, objects (curves or surfaces) of incr...
COMPGEOM
1998
ACM
15 years 3 months ago
1998
ACM
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...
100
click to vote
CAD
2004
Springer
14 years 11 months ago
2004
Springer
: LOGO is a programming language incorporating turtle graphics, originally devised for teaching computing to young children in elementary and middle schools. Here we advocate the u...
DAGSTUHL
2003
15 years 11 days ago
2003
In this paper we discuss reliable methods in the field of finite precision geometry. We begin with a brief survey of geometric computing and approaches generally used in dealing ...