5210 search results - page 32 / 1042 » Exact geometric computation |
CG
2004
Springer
14 years 1 months ago
2004
Springer
Most Go-playing programs use a combination of search and heuristics based on an influence function to determine whether territories are safe. However, to assure the correct evaluat...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
GD
2006
Springer
14 years 1 months ago
2006
Springer
We prove that computing a geometric minimum-dilation graph on a given set of points in the plane, using not more than a given number of edges, is an NP-hard problem, no matter if ...
CGA
2008
13 years 10 months ago
2008
Geometric computing with three-dimensional rotations and orientations is a fundamental issue in three-dimensional computer graphics. Our approach was inspired by affine geometry a...
PR
2002
13 years 9 months ago
2002
The authors of this paper adopted the projected characteristics of the absolute conic in terms of the Pascal's theorem to propose an entirely new camera calibration method ba...