The Role of Formalism in Method.
Michael JacksonPublished in: World Congress on Formal Methods (1999)
Keyphrases
- error rate
- evaluation method
- fully automatic
- optimization method
- objective function
- dynamic programming
- support vector machine
- preprocessing
- pairwise
- high precision
- synthetic data
- detection method
- input data
- description logics
- main contribution
- computationally efficient
- model selection
- em algorithm
- data sets
- high accuracy
- classification accuracy
- experimental evaluation
- cost function
- multiresolution
- similarity measure
- neural network