TSP: mining top-K closed sequential patterns | IEEE Conference Publication | IEEE Xplore