Deciding Local Theory Extensions via E-matching.

Kshitij Bansal Andrew Reynolds Tim King Clark W. Barrett Thomas Wies

Published in: CAV (2) (2015)

Keyphrases

theoretical basis
theoretical framework
matching process
data sets
efficient implementation
graph matching
neural network
database
multi agent
data model
computational model
string matching
correspondence matching