C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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