4850 search results - page 28 / 970 » Proof and Computation in Geometry |
101
click to vote
CIE
2005
Springer
15 years 7 months ago
2005
Springer
We promote the concept of object directed computability in computational geometry in order to faithfully generalise the wellestablished theory of computability for real numbers and...
104
click to vote
ICPP
2002
IEEE
15 years 7 months ago
2002
IEEE
We develop efficient algorithms for problems in computational geometry—convex hull, smallest enclosing box, ECDF, two-set dominance, maximal points, all-nearest neighbor, and c...
163
click to vote
ETVC
2008
15 years 3 months ago
2008
Computational anatomy is an emerging discipline that aims at analyzing and modeling the individual anatomy of organs and their biological variability across a population. The goal ...
109
click to vote
ECCV
2004
Springer
16 years 3 months ago
2004
Springer
Abstract. Many interesting problems in computer vision can be formulated as a minimization problem for an energy functional. If this functional is given as an integral of a scalar-...
117
click to vote
JAR
2008
15 years 1 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...