Operational Annotations - A New Method for Sequential Program Verification.
Paul C. AttiePublished in: NFM (2022)
Keyphrases
- clustering method
- high precision
- experimental evaluation
- detection method
- preprocessing
- significant improvement
- error rate
- data sets
- keywords
- pairwise
- support vector machine
- optimization method
- synthetic data
- theoretical analysis
- high accuracy
- dynamic programming
- prior knowledge
- computational complexity
- image processing