Reuse in Software Verification by Abstract Method Calls.
Reiner HähnleIna SchaeferRichard BubelPublished in: CADE (2013)
Keyphrases
- detection method
- synthetic data
- cost function
- experimental study
- significant improvement
- pairwise
- theoretical analysis
- mutual information
- data sets
- experimental evaluation
- error rate
- similarity measure
- mathematical model
- statistical model
- segmentation method
- detection algorithm
- evaluation method
- optimization algorithm
- classification accuracy
- computationally efficient
- high accuracy
- computational cost
- feature space
- computational complexity
- objective function
- multiscale
- image segmentation
- image processing
- genetic algorithm