Total correctness of a goal replacement rule based on the unfold/fold proof method.
Maurizio ProiettiAlberto PettorossiPublished in: GULP-PRODE (1) (1994)
Keyphrases
- computationally efficient
- high accuracy
- experimental evaluation
- high precision
- main contribution
- clustering method
- expert systems
- detection method
- cost function
- optimization algorithm
- dynamic programming
- significant improvement
- prior knowledge
- pairwise
- synthetic data
- objective function
- knowledge base
- evaluation method
- input data
- feature set
- preprocessing
- similarity measure
- decision trees