Decreasing Diagrams and Relative Termination.

Nao Hirokawa Aart Middeldorp

Published in: J. Autom. Reason. (2011)

Keyphrases

information systems
information technology
hand drawn
term rewriting
computer vision
feature selection
database systems
similarity measure
graphical representations