Synthesizing Nested Ranking Functions for Loop Programs via SVM.
Yi LiXuechao SunYong LiAndrea TurriniLijun ZhangPublished in: ICFEM (2019)
Keyphrases
- ranking functions
- ranking svm
- learning to rank
- support vector
- ranking algorithm
- support vector machine svm
- document retrieval
- web search
- supervised learning
- web search engines
- support vector machine
- knn
- training data
- machine learning
- multi class
- feature selection
- scoring function
- kernel methods
- svm classifier
- preference learning
- ranking scheme
- evaluation measures
- kernel function
- language model
- image processing