A knowledge-based method for validating specifications including open parts.
Reki YamamotoSetsuo TsurutaTakashi OnoyamaKazuko OyanagiPublished in: SMC (2000)
Keyphrases
- experimental evaluation
- synthetic data
- significant improvement
- cost function
- support vector machine
- evaluation method
- classification method
- detection method
- support vector machine svm
- theoretical analysis
- high accuracy
- dynamic programming
- bayesian networks
- d objects
- neural network
- feature set
- probabilistic model
- clustering method
- support vector
- similarity measure
- image sequences