Efficient Approximate Semi-supervised Support Vector Machines through Submodular Optimization | IEEE Conference Publication | IEEE Xplore