Interval-based pruning for top-k processing over compressed lists | IEEE Conference Publication | IEEE Xplore