Strengthening Invariants by Symbolic Consistency Testing.

Husam Abu-Haimed Sergey Berezin David L. Dill

Published in: CAV (2003)

Keyphrases

test cases
neural network
pattern recognition
moment invariants
computer vision
information systems
website
similarity measure
association rules
test set
global consistency
binary decision diagrams
connectionist models