Formal Method for Automated Transformation of Lotos Specifications to Estelle Specifications.
Hazem El-GendyNabil El-KadhiPublished in: Int. J. Softw. Eng. Knowl. Eng. (2005)
Keyphrases
- high accuracy
- experimental evaluation
- computational cost
- significant improvement
- classification method
- pairwise
- linear transformation
- fully automatic
- support vector machine svm
- dynamic programming
- cost function
- clustering method
- preprocessing
- support vector machine
- classification accuracy
- edge detection
- feature set
- medical images
- computationally efficient
- segmentation method
- high precision
- artificial neural networks