The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism.
Neil HendersonStephen PaynterPublished in: FME (2002)
Keyphrases
- asynchronous communication
- pattern recognition
- classification scheme
- classification accuracy
- model selection
- machine learning
- automatic classification
- image classification
- synchronous communication
- formal methods
- pattern classification
- classification method
- classification algorithm
- decision trees
- feature vectors
- support vector
- support vector machine svm
- supervised classification
- cross validation
- signature verification
- text classification
- classification systems
- machine learning methods
- feature extraction
- classification process
- classification models
- formal analysis
- data mining
- formal verification
- unsupervised learning
- preprocessing
- service composition
- benchmark data sets
- classification rules
- feature set
- decision rules
- class labels
- computational model
- training samples