K-Means-Type Algorithms: A Generalized Convergence Theorem and Characterization of Local Optimality | IEEE Journals & Magazine | IEEE Xplore