BinX: Dynamic Exploration of Time Series Datasets Across Aggregation Levels | IEEE Conference Publication | IEEE Xplore