660 search results - page 108 / 132 » The Implicit Calculus of Constructions |
GMP
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract. This paper presents the mathematical framework, and develops algorithms accordingly, to continuously and robustly track the intersection curves of two deforming parametri...
GIR
2006
ACM
14 years 2 months ago
2006
ACM
Many documents that can be found in the World Wide Web include some kind of geographical information, often in an implicit way. The use of resources like gazetteers and geographic...
SI3D
2006
ACM
14 years 2 months ago
2006
ACM
Rendering a scene using a single depth image suffers from disocclusion errors as the view translates away from the reference view. We present the depth discontinuity occlusion cam...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
ICML
2004
IEEE
14 years 2 months ago
2004
IEEE
We investigate how to learn a kernel matrix for high dimensional data that lies on or near a low dimensional manifold. Noting that the kernel matrix implicitly maps the data into ...