A complexity tradeoff in ranking-function termination proofs.

Amir M. Ben-Amram

Published in: Acta Informatica (2009)

Keyphrases

ranking functions
learning to rank
computational complexity
document retrieval
web search
ranking algorithm
supervised learning
web search engines
scoring function
directly optimize
ranking svm
real valued
theorem proving
decision problems
natural language
ranking scheme
similarity measure