Automatic Verification of Refinement.

Trevor Wing Sang Lee Mark R. Greenstreet Carl-Johan H. Seger

Published in: ICCD (1994)

Keyphrases

data sets
evolutionary algorithm
learning algorithm
knowledge base
three dimensional
bayesian networks
data structure
preprocessing
multi class
refinement process