660 search results - page 104 / 132 » The Implicit Calculus of Constructions |
122
click to vote
CVPR
2006
IEEE
16 years 4 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...
123
click to vote
ICCV
1998
IEEE
16 years 3 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...
95
Voted
ICML
2003
IEEE
16 years 2 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...
130
click to vote
PKC
2009
Springer
16 years 2 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...
223
click to vote
POPL
2006
ACM
16 years 2 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...