Reasoning about Codata.

Published in: CEFP (2009)

Keyphrases

formal theory
spatial reasoning
qualitative reasoning
data sets
neural network
learning algorithm
search engine
knowledge base
image segmentation
three dimensional
probabilistic model