A Logical Analysis of Framing for Specifications with Pure Method Calls.
Anindya BanerjeeDavid A. NaumannMohammad NikoueiPublished in: ACM Trans. Program. Lang. Syst. (2018)
Keyphrases
- detection method
- objective function
- high precision
- cost function
- support vector machine
- computational cost
- dynamic programming
- clustering method
- main contribution
- mutual information
- experimental evaluation
- significant improvement
- pairwise
- preprocessing
- bayesian networks
- data mining
- fully automatic
- matching algorithm
- mathematical model
- input data
- image analysis
- high level