A training algorithm for optimal margin classifiers. In: Proceedings of the fifth annual workshop on Computational learning theory - Boser, BE; Guyon, IM; Vapnik, VN (ACM, 1992)