On Up-to Context Techniques in the π-calculus.

Enguerrand Prebet

Published in: CoRR (2021)

Keyphrases

context sensitive
real time
neural network
contextual information
database
data mining
genetic algorithm
information systems
image sequences
multiscale
objective function
context aware
user model
knowledge retrieval