A note on some limits of the algebraic specification method.
Douglas W. JonesPublished in: ACM SIGPLAN Notices (1978)
Keyphrases
- computationally efficient
- mathematical model
- cost function
- experimental evaluation
- fully automatic
- preprocessing
- error rate
- significant improvement
- main contribution
- support vector machine
- high precision
- classification accuracy
- similarity measure
- computer vision
- least squares
- medical images
- computational cost
- theoretical analysis
- dynamic programming
- detection method
- prior knowledge
- synthetic data
- objective function
- feature selection