Sciweavers

5210 search results - page 207 / 1042
» Exact geometric computation
Sort
View
143
Voted
IJCAI
1989
15 years 7 months ago
Visual Reasoning in Geometry Theorem Proving
We study the role of visual reasoning as a computationally feasible heuristic tool in geometry problem solving. We use an algebraic notation to represent geometric objects and to ...
Michelle Y. Kim
DM
2010
126views more  DM 2010»
15 years 6 months ago
Asymptotic connectivity of hyperbolic planar graphs
We investigate further the concept of asymptotic connectivity as defined previously by the first author. In particular, we compute an upper bound on the asymptotic connectivity of ...
Patrick Bahls, Michael R. Dipasquale
ICCV
2005
IEEE
15 years 11 months ago
More-Than-Topology-Preserving Flows for Active Contours and Polygons
Active contour and active polygon models have been used widely for image segmentation. In some applications, the topology of the object(s) to be detected from an image is known a ...
Ganesh Sundaramoorthi, Anthony J. Yezzi
ECCV
2008
Springer
16 years 8 months ago
Scale-Dependent/Invariant Local 3D Shape Descriptors for Fully Automatic Registration of Multiple Sets of Range Images
Abstract. Despite the ubiquitous use of range images in various computer vision applications, little has been investigated about the size variation of the local geometric structure...
John Novatnack, Ko Nishino
FOCS
1992
IEEE
15 years 10 months ago
Safe and Effective Determinant Evaluation
The problem of evaluating the sign of the determinant of a small matrix arises in many geometric algorithms. Given an n
Kenneth L. Clarkson