Convergence Proof of a Sequential Minimal Optimization Algorithm for Support Vector Regression | IEEE Conference Publication | IEEE Xplore