Variadic Equational Matching.

Besik Dundua Temur Kutsia Mircea Marin

Published in: CICM (2019)

Keyphrases

matching process
matching algorithm
feature points
graph matching
pattern matching
theorem prover
theorem proving
neural network
template matching
social networks
multiresolution
image matching
feature matching