
Effective top-k computation with term-proximity support
Keywords: Top-k; Dynamic index pruning; Term-proximity; Document structure; Proximity-Probe; Non-linear ranking function; Approximate top-k