Mining Top-K Sequential Patterns in the Data Stream Environment | IEEE Conference Publication | IEEE Xplore