TiVEx: Optimized Processing for Time Series Visual Exploration | IEEE Conference Publication | IEEE Xplore