The Design of the CADE-13 ATP System Competition.

Geoff Sutcliffe Christian B. Suttner

Published in: J. Autom. Reason. (1997)

Keyphrases

user interface
neural network
case study
search algorithm
control system
data sets
databases
learning algorithm
search engine
knowledge base
image segmentation
software architecture
design patterns
conceptual framework
optimal design