4850 search results - page 49 / 970 » Proof and Computation in Geometry |
111
click to vote
CADE
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolute...
WG
2009
Springer
15 years 5 months ago
2009
Springer
SIGGRAPH
2009
ACM
15 years 5 months ago
2009
ACM
77
Voted
SPAA
1992
ACM
15 years 3 months ago
1992
ACM
An O(log n) time, n processor randomized algorithm for computing the k-nearest neighbor graph of n points in d dimensions, for fixed d and k is presented. The method is based on t...
MVA
1990
15 years 5 days ago
1990
A schcmc of camera calibration is proposed. The focal length and the orientations of the scenc coordinatc axes are computcd by dctecting the vanishing points of two sets of lincs ...