A Weighted Correlation Index for Rankings with Ties
A new rank correlation coefficient for information retrieval