A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset.
Bogdan TofanGerhard SchellhornWolfgang ReifPublished in: IFM (2014)
Keyphrases
- main contribution
- fully automatic
- dynamic programming
- cost function
- probabilistic model
- optimization method
- synthetic data
- high accuracy
- experimental evaluation
- preprocessing
- similarity measure
- prior knowledge
- detection method
- pairwise
- learning algorithm
- multiscale
- segmentation algorithm
- optimization algorithm
- image processing
- segmentation method
- mathematical model
- classification method
- feature selection
- computer vision