Syntactic Type Soundness for the Region Calculus.

Simon Helsen Peter Thiemann

Published in: Electron. Notes Theor. Comput. Sci. (2000)

Keyphrases

type checking
computer vision
natural language
knowledge representation
input image
algebraic structure