Login / Signup
Matching in the Pi-Calculus (Technical Report).
Kirstin Peters
Tsvetelina Yonova-Karbe
Uwe Nestmann
Published in:
CoRR (2014)
Keyphrases
</>
technical report
matching algorithm
pattern matching
matching scheme
approximate matching
graph matching
learning algorithm
artificial intelligence
computer vision
keypoints
image matching
affine invariant
computer algebra
correspondence matching