2742 search results - page 353 / 549 » Deriving Category Theory from Type Theory |
CVPR
2007
IEEE
14 years 11 months ago
2007
IEEE
In this paper we derive differential equations for evolving radial basis functions (RBFs) to solve segmentation problems. The differential equations result from applying variation...
ECCV
2004
Springer
14 years 11 months ago
2004
Springer
We consider the problem of image comparison in order to match smooth surfaces under varying illumination. In a smooth surface nearby surface normals are highly correlated. We model...
ICPR
2000
IEEE
14 years 10 months ago
2000
IEEE
The matching of hierarchical relational structures is of significant interest in computer vision and pattern recognition. We have recently introduced a new solution to this proble...
GIS
2007
ACM
14 years 10 months ago
2007
ACM
In this paper we present a novel system for the detection and extraction of road map information from high-resolution satellite imagery. Uniquely, the proposed system is an integr...
IPMI
2005
Springer
14 years 10 months ago
2005
Springer
Abstract. We present a new method for computing an optimal deformation between two arbitrary surfaces embedded in Euclidean 3-dimensional space. Our main contribution is in buildin...