Automated Higher-order Reasoning about Quantales.

Han-Hing Dang Peter Höfner

Published in: PAAR@IJCAR (2010)

Keyphrases

higher order
natural images
high order
low order
markov random field
pairwise
computer aided
semi automated
genetic algorithm
data mining
markov models
spatial reasoning
qualitative reasoning
multi agent
multi agent systems
database systems
conditional random fields
data sets
fully automated
real time