Syntactic Type Soundness Results for the Region Calculus.

Cristiano Calcagno Simon Helsen Peter Thiemann

Published in: Inf. Comput. (2002)

Keyphrases

type checking
natural language
input image
real time
data sets
data mining
search engine
computer vision
information systems
multiscale
higher level