Synthesis of Simple Feed-Forward Networks: A First-Order Example.

Sridevi V. Sarma Munther A. Dahleh

Published in: CDC/ECC (2005)

Keyphrases

real world
decision trees
higher order
database
computer vision
knowledge base
expert systems
knowledge representation
horn clauses
highly reliable
quantifier elimination