Formal modeling of the Simple Text Oriented Messaging Protocol using Event-B method.
Sanae El MimouniMohamed BouhdadiPublished in: AICCSA (2015)
Keyphrases
- high precision
- modeling method
- cost function
- objective function
- experimental evaluation
- machine learning
- high accuracy
- clustering method
- multiscale
- pairwise
- feature vectors
- significant improvement
- search engine
- synthetic data
- segmentation method
- text retrieval
- probabilistic model
- classification method
- detection method
- feature set
- preprocessing
- genetic algorithm