Compositional reasoning about aspect interference.

Ismael Figueroa Tom Schrijvers Nicolas Tabareau Éric Tanter

Published in: MODULARITY (2014)

Keyphrases

spatial reasoning
multipath
formal theory
real world
search engine
three dimensional
expert systems
information technology
qualitative reasoning
machine learning
information systems
metadata
image segmentation
learning environment