Ranking function synthesis for bit-vector relations.

Byron Cook Daniel Kroening Philipp Rümmer Christoph M. Wintersteiger

Published in: Formal Methods Syst. Des. (2013)

Keyphrases

ranking functions
bit vector
learning to rank
web search engines
ranking algorithm
document retrieval
web search
real valued
supervised learning
search engine
ranking svm
directly optimize
feature set
scoring function
document collections
clickthrough data
image processing
information retrieval
machine learning