Incremental Clustering for Time Series Data Based on an Improved Leader Algorithm | IEEE Conference Publication | IEEE Xplore