An Approximative Bayes-Optimal Kernel Classifier Based on Version Space Reduction | IEEE Conference Publication | IEEE Xplore