KMEANS Algorithm Clustering for Massive AIS Data Based on the Spark Platform | IEEE Conference Publication | IEEE Xplore