A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method.
Takahiro SeinoKazuhiro OgataKokichi FutatsugiPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- detection method
- synthetic data
- significant improvement
- high precision
- experimental evaluation
- information retrieval
- evaluation method
- error rate
- optimization algorithm
- main contribution
- image registration
- support vector machine
- preprocessing
- face recognition
- decision trees
- denoising
- high accuracy
- em algorithm
- model selection
- theoretical analysis
- dynamic programming
- cost function
- pairwise
- segmentation method
- data sets