A Mechanized Proof Environment for the Convenient Computations Proof Method.
Marcelo GlusmanShmuel KatzPublished in: Formal Methods Syst. Des. (2003)
Keyphrases
- detection method
- high accuracy
- preprocessing
- synthetic data
- experimental evaluation
- mutual information
- mathematical model
- classification accuracy
- probabilistic model
- computational cost
- significant improvement
- similarity measure
- model selection
- clustering method
- dynamic programming
- error rate
- prior knowledge
- classification method
- high precision
- theorem prover
- theorem proving