Synthesizing ranking functions for loop programs via SVM.
Yi LiXie LiYong LiXuechao SunAndrea TurriniLijun ZhangPublished in: Theor. Comput. Sci. (2022)
Keyphrases
- ranking functions
- ranking svm
- learning to rank
- support vector machine svm
- support vector
- web search
- document retrieval
- web search engines
- ranking algorithm
- support vector machine
- svm classifier
- supervised learning
- scoring function
- machine learning
- knn
- directly optimize
- feature vectors
- binary classification
- learning to rank algorithms
- ranking models
- ranking scheme
- learning problems
- kernel function
- feature set
- training set
- training data
- database systems
- feature selection