Synthesis of ranking functions using extremal counterexamples.
Laure GonnordDavid MonniauxGabriel RadannePublished in: PLDI (2015)
Keyphrases
- ranking functions
- learning to rank
- document retrieval
- web search engines
- web search
- ranking algorithm
- graph theory
- supervised learning
- scoring function
- ranking models
- ranking svm
- relevance judgments
- term weights
- learning to rank algorithms
- search engine
- active sampling
- beam search
- collaborative filtering
- information extraction
- web pages