190 search results - page 14 / 38 » A Simple Proof Technique for Certain Parametricity Results |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Linearity tests are randomized algorithms which have oracle access to the truth table of some function f, and are supposed to distinguish between linear functions and functions whi...
ICDM
2003
IEEE
14 years 25 days ago
2003
IEEE
We present a framework for clustering distributed data in unsupervised and semi-supervised scenarios, taking into account privacy requirements and communication costs. Rather than...
ICCV
2009
IEEE
14 years 6 months ago
2009
IEEE
Mutual information (MI) is a popular similarity metric
for multimodality image registration purpose. However,
it is negatively influenced by artifacts due to interpolation
effec...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
JMLR
2002
13 years 7 months ago
2002
Approximate Bayesian Gaussian process (GP) classification techniques are powerful nonparametric learning methods, similar in appearance and performance to support vector machines....