Deep Time Series Sketching and Its Application on Industrial Time Series Clustering | IEEE Conference Publication | IEEE Xplore