Correlation Mining between Time Series Stream and Event Stream | IEEE Conference Publication | IEEE Xplore