Decidability of the binary infinite Post Correspondence Problem.

Vesa Halava Tero Harju Juhani Karhumäki

Published in: Discret. Appl. Math. (2003)

Keyphrases

description logics
query answering
database
image registration
non binary
dense correspondence
real time
neural network
d objects
feature matching
multi valued
stereo correspondence
binary data
image correspondences
correspondence matching