Reducing Opacity to Linearizability: A Sound and Complete Method.
Alasdair ArmstrongBrijesh DongolSimon DohertyPublished in: CoRR (2016)
Keyphrases
- prior knowledge
- dynamic programming
- similarity measure
- evaluation method
- preprocessing
- fully automatic
- high precision
- detection method
- objective function
- experimental evaluation
- significant improvement
- pairwise
- artificial neural networks
- cost function
- mutual information
- main contribution
- support vector machine svm
- segmentation algorithm
- clustering method
- optical flow
- error rate
- missing data
- energy function
- segmentation method
- training set
- optimization method
- computational complexity