Cheap and Small Counterexamples.

Henri Hansen Jaco Geldenhuys

Published in: SEFM (2008)

Keyphrases

low cost
small number
expert systems
decision making
digital libraries
wide range
three dimensional
small fraction
support vector
multi agent
database
decision trees
image processing
artificial intelligence
machine learning
real world
real time