Investigating a new formal model for a library system using B method.
Mohammad Reza NamiHamid RazaviMilad SaeediNavid ShahidiPublished in: ACM SIGSOFT Softw. Eng. Notes (2009)
Keyphrases
- formal model
- synthetic data
- experimental evaluation
- cost function
- objective function
- high accuracy
- optimization algorithm
- segmentation method
- dynamic programming
- significant improvement
- computationally efficient
- detection algorithm
- detection method
- computational complexity
- similarity measure
- probabilistic model
- classification accuracy
- support vector machine
- feature set
- high precision