Ranking Functions for Linear-Constraint Loops.

Amir M. Ben-Amram

Published in: VPT@CAV (2013)

Keyphrases

ranking functions
linear constraints
learning to rank
document retrieval
web search engines
web search
ranking algorithm
constraint databases
nonlinear programming
supervised learning
convex sets
ranking svm
probabilistic model
feature set
active sampling