660 search results - page 104 / 132 » The Implicit Calculus of Constructions |
CVPR
2006
IEEE
14 years 10 months ago
2006
IEEE
A fast algorithm, Accelerated Kernel Feature Analysis (AKFA), that discovers salient features evidenced in a sample of n unclassified patterns, is presented. Like earlier kernel-b...
ICCV
1998
IEEE
14 years 10 months ago
1998
IEEE
In this paper, we present a robust method for creating a triangulated surface mesh from multiple range images. Our method merges a set of range images into a volumetric implicit-s...
ICML
2003
IEEE
14 years 9 months ago
2003
IEEE
Kernel methods have gained a great deal of popularity in the machine learning community as a method to learn indirectly in highdimensional feature spaces. Those interested in rela...
PKC
2009
Springer
14 years 9 months ago
2009
Springer
Abstract.We introduce the notion of distributed password-based publickey cryptography, where a virtual high-entropy private key is implicitly dened as a concatenation of low-entrop...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...