Equivalence checking: a rule-based approach.

Masahiro Fujita Subash Shankar Sasaki Shunsuke

Published in: MEMOCODE (2006)

Keyphrases

databases
database systems
image processing
consistency checking
computer vision
website
three dimensional
search algorithm
expert systems
special case
probabilistic model