699 search results - page 20 / 140 » Generalized Distance Functions in the Theory of Computation |
97
Voted
CVPR
2005
IEEE
15 years 11 months ago
2005
IEEE
In the last decades, a large family of algorithms supervised or unsupervised; stemming from statistic or geometry theory have been proposed to provide different solutions to the p...
CVPR
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper presents a general formulation enabling determination of all functions that are steerable under any transformation group. These steerable functions are determinedunique...
IWINAC
2007
Springer
15 years 3 months ago
2007
Springer
Theories of how the brain computes can be differentiated in three general conceptions: the algorithmic approach, the neural information processing (neurocomputational) approach an...
102
Voted
PLPV
2009
ACM
15 years 6 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
Distance bounding protocols have been proposed for many security critical applications as a means of getting an upper bound on the physical distance to a communication partner. As...