Towards a Practical, Verified Kernel.

Kevin Elphinstone Gerwin Klein Philip Derrin Timothy Roscoe Gernot Heiser

Published in: HotOS (2007)

Keyphrases

kernel function
kernel methods
real world
image processing
practical application
database
machine learning
social networks
feature extraction
support vector
feature space
special case
semi supervised
gaussian processes
sparse kernel