On Ranking Function Synthesis and Termination for Polynomial Programs.

Eike Neumann Joël Ouaknine James Worrell

Published in: CONCUR (2020)

Keyphrases

ranking functions
learning to rank
document retrieval
functional programs
web search
term rewrite systems
ranking algorithm
web search engines
supervised learning
real valued
scoring function
ranking scheme
query dependent
ranking svm
feature set
uniform convergence
reinforcement learning