A Logical Analysis of Framing for Specifications with Pure Method Calls.
Anindya BanerjeeDavid A. NaumannPublished in: VSTTE (2014)
Keyphrases
- high accuracy
- experimental evaluation
- optimization method
- fully automatic
- high precision
- preprocessing
- pairwise
- support vector machine svm
- significant improvement
- data sets
- support vector machine
- synthetic data
- detection method
- computationally efficient
- prior knowledge
- main contribution
- image analysis
- clustering method
- artificial neural networks
- image retrieval
- classification method
- similarity measure
- knowledge base
- machine learning