Axiom-Based Transformations: Optimisation and Testing.

Anya Helene Bagge Magne Haveraaen

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

modal logic
test cases
wide range
optimisation algorithm
genetic algorithm
real time
test set
information systems
feature selection
image processing
three dimensional
search algorithm
probabilistic model
medical images
machine learning
real world
statistical tests
test suite
databases