Robustness verification of k-nearest neighbors by abstract interpretation.
Nicolò FassinaFrancesco RanzatoMarco ZanellaPublished in: Knowl. Inf. Syst. (2024)
Keyphrases
- k nearest neighbor
- abstract interpretation
- knn
- model checking
- nearest neighbor
- termination analysis
- static analysis
- active rules
- support vector machine
- active databases
- knn classifier
- neural network
- reasoning engine
- text classification
- k nearest
- distance function
- dynamic analysis
- nearest neighbor algorithm
- machine learning
- range queries