Reasoning About Active Objects: A Sound and Complete Assertional Proof Method.
Frank S. de BoerStijn de GouwPublished in: The Logic of Software. A Tasting Menu of Formal Methods (2022)
Keyphrases
- high accuracy
- significant improvement
- segmentation method
- similarity measure
- high precision
- objective function
- pairwise
- classification accuracy
- decision trees
- detection method
- support vector machine svm
- training set
- image sequences
- computational cost
- experimental evaluation
- support vector machine
- dynamic programming
- level set
- feature vectors
- data sets