A formal approach to ranking procedures.

Published in: Int. J. Knowl. Based Intell. Eng. Syst. (2015)

Keyphrases

ranking algorithm
formal model
web search
link analysis
learning to rank
genetic algorithm
formal analysis
formal methods
ranked list
ranking functions
relational databases
data mining
evaluation metrics
user feedback
loss function
document ranking
quality indicators