4850 search results - page 221 / 970 » Proof and Computation in Geometry |
147
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...
168
click to vote
LOGCOM
2002
15 years 6 months ago
2002
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...
231
click to vote
Source Code
Great Matlab and Octave function implementation for hot computer vision algorithms such as Feature detection via Phase Congruency, Spatial feature detection, Non-maxima suppression...
236
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
Projection matrices from projective spaces ? to ? have long been used in multiple-view geometry to model the perspective projection created by the pin-hole camera. In this work we...
154
click to vote
SMI
2005
IEEE
16 years 4 days ago
2005
IEEE
We report new techniques and theory in computational topology for reconstructing surfaces with boundary. This complements and extends known techniques for surfaces without boundar...