Operational Annotations: A new method for sequential program verification.
Paul C. AttiePublished in: CoRR (2021)
Keyphrases
- experimental evaluation
- synthetic data
- pairwise
- mathematical model
- optimization algorithm
- main contribution
- fully automatic
- high precision
- preprocessing
- cost function
- high accuracy
- classification method
- support vector machine svm
- theoretical analysis
- image quality
- decision making
- dynamic programming
- prior knowledge
- multiresolution
- objective function
- training data