6800 search results - page 628 / 1360 » Testing with Functions as Specifications |
165
click to vote
ICML
2010
IEEE
15 years 8 months ago
2010
IEEE
We propose and analyze two strategies to learn over unordered pairs with kernels, and provide a common theoretical framework to compare them. The strategies are related to methods...
194
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
The exponential embedding of two or more probability density functions (PDFs) is proposed for multimodal sensor processing. It approximates the unknown PDF by exponentially embedd...
218
click to vote
ML
2006
ACM
15 years 7 months ago
2006
ACM
We present an approach to email filtering based on the suffix tree data structure. A method for the scoring of emails using the suffix tree is developed and a number of scoring and...
184
click to vote
JC
2000
15 years 7 months ago
2000
Deciding efficiently the emptiness of a real algebraic set defined by a single equation is a fundamental problem of computational real algebraic geometry. We propose an algorithm ...
200
click to vote
JMLR
2010
15 years 2 months ago
2010
A computationally efficient approach to local learning with kernel methods is presented. The Fast Local Kernel Support Vector Machine (FaLK-SVM) trains a set of local SVMs on redu...