Functional Active Objects: Typing and Formalisation.

Ludovic Henrio Florian Kammüller

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

Keyphrases

moving objects
d objects
object segmentation
object model
data objects
multiple objects
spatial relations
real world objects
functional analysis
search engine
computer vision
high level
multiscale
image retrieval
spatial information
formal analysis