A Contructive Method for Abstract Algebraic Software Specification.
Herbert KlaerenPublished in: Theor. Comput. Sci. (1984)
Keyphrases
- high accuracy
- fully automatic
- computationally efficient
- detection algorithm
- computer systems
- high precision
- synthetic data
- machine learning
- source code
- segmentation method
- detection method
- support vector machine svm
- medical images
- mutual information
- dynamic programming
- significant improvement
- preprocessing
- objective function
- image segmentation