A Method for the Development of Totally Correct Shared-State Parallel Programs.
Ketil StølenPublished in: CONCUR (1991)
Keyphrases
- dynamic programming
- computational cost
- cost function
- high accuracy
- pairwise
- experimental evaluation
- synthetic data
- computational complexity
- preprocessing
- optimization method
- neural network
- fully automatic
- high precision
- segmentation method
- theoretical analysis
- edge detection
- significant improvement
- objective function