On the Verification of Function Equivalence with unknown Input Correspondence.

David Ihsin Cheng Malgorzata Marek-Sadowska

Published in: J. Circuits Syst. Comput. (1994)

Keyphrases

nonlinear functions
databases
information systems
image segmentation
point correspondences
rbf network