Decidable Matching for Convergent Systems (Preliminary Version).

Nachum Dershowitz Subrata Mitra G. Sivakumar

Published in: CADE (1992)

Keyphrases

preliminary version
learning systems
data sets
pattern matching
matching algorithm
image matching
learning algorithm
information systems
case study
expert systems