Online mining of data streams: applications, techniques and progress | IEEE Conference Publication | IEEE Xplore