An Efficient Approach for Inverted Index Pruning Based on Document Relevance | IEEE Conference Publication | IEEE Xplore