Decreasing Diagrams and Relative Termination.

Nao Hirokawa Aart Middeldorp

Published in: IJCAR (2010)

Keyphrases

real time
databases
artificial intelligence
probability distribution
graphical representations
learning algorithm
similarity measure
multiscale