Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB.
John WitulskiMichael LeuschelPublished in: F-IDE (2014)
Keyphrases
- experimental evaluation
- mathematical model
- detection method
- high accuracy
- objective function
- optimization method
- fully automatic
- high precision
- main contribution
- similarity measure
- computationally efficient
- dynamic programming
- preprocessing
- mutual information
- optimization algorithm
- clustering method
- classification accuracy
- cost function
- color images
- statistical methods