1096 search results - page 13 / 220 » Abstract Canonical Inference |
114
click to vote
LFCS
2007
Springer
15 years 6 months ago
2007
Springer
act Completion (Full Version) Guillaume Burel Claude Kirchner August 6, 2007 Deduction Modulo implements Poincar´e’s principle by identifying deduction and computation as diff...
FOCS
1992
IEEE
15 years 3 months ago
1992
IEEE
Partial types for the -calculus were introduced by Thatte in 1988 [3] as a means of typing objects that are not typable with simple types, such as heterogeneous lists and persiste...
SCALESPACE
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. The behaviour of critical points of Gaussian scale-space images is mainly described by their creation and annihilation. In existing literature these events are determined...
111
click to vote
ESANN
2003
15 years 1 months ago
2003
Abstract. We focus on covariance criteria for finding a suitable subspace for regression in a reproducing kernel Hilbert space: kernel principal component analysis, kernel partial...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
Abstract—Fast multiplication can be achieved by using canonical signed digit (CSD) to speed-up computations. Conversion to CSD is needed when the multiplier is not known a priori...