Proof method for correctness of refinements of algebraic specification in abstract sequential machine style.
Kozo OkanoTeruo HigashinoKenichi TaniguchiPublished in: Systems and Computers in Japan (1996)
Keyphrases
- preprocessing
- computational cost
- pairwise
- high level
- classification accuracy
- synthetic data
- significant improvement
- cost function
- detection method
- high accuracy
- support vector machine
- clustering method
- fully automatic
- feature selection
- theoretical analysis
- neural network
- evaluation method
- probabilistic model
- experimental evaluation
- hidden markov models
- multiresolution
- computational complexity
- similarity measure