Ranking Function Synthesis for Bit-Vector Relations.
Byron CookDaniel KroeningPhilipp RümmerChristoph M. WintersteigerPublished in: TACAS (2010)
Keyphrases
- ranking functions
- bit vector
- learning to rank
- web search engines
- ranking algorithm
- document retrieval
- web search
- supervised learning
- real valued
- ranking svm
- machine learning
- ranking scheme
- scoring function
- search engine
- feature set
- pairwise
- digital libraries
- feature extraction
- image processing
- ranking models
- information retrieval
- data sets
- directly optimize