Compositional reasoning about active objects with shared futures.

Crystal Chang Din Olaf Owe

Published in: Formal Aspects Comput. (2015)

Keyphrases

information retrieval
spatial relationships
spatial reasoning
multi object
individual objects
databases
neural network
data structure
moving objects
data model
object segmentation
qualitative reasoning
real world objects
method invocation