Refinement methods and refinement calculi.

H. J. Litteck Peter J. L. Wallis

Published in: Softw. Eng. J. (1992)

Keyphrases

computational cost
benchmark datasets
artificial intelligence
data sets
genetic algorithm
decision trees
training set
search methods
step wise