Exploiting Reduced Precision for GPU-based Time Series Mining | IEEE Conference Publication | IEEE Xplore