Deciding Context Unification.

Published in: J. ACM (2019)

Keyphrases

contextual information
digital libraries
knowledge retrieval
context aware
multiresolution
three dimensional
image processing
databases
cooperative
multi agent systems
data sets
lower bound
information technology
mobile robot
machine learning
neural network
theorem proving