Scalability of Deductive Verification Depends on Method Call Treatment.
Alexander KnüppelThomas ThümCarsten PardyllaIna SchaeferPublished in: ISoLA (4) (2018)
Keyphrases
- detection method
- high accuracy
- high efficiency
- cost function
- high precision
- experimental evaluation
- synthetic data
- main contribution
- verification method
- clustering method
- object oriented
- classification accuracy
- probabilistic model
- dynamic programming
- pairwise
- theoretical analysis
- error rate
- computational cost
- segmentation method
- mathematical model
- fully automatic
- face recognition