Verifying Contextual Refinement with Ownership Transfer.

Zhao-Hui Li Xin-Yu Feng

Published in: J. Comput. Sci. Technol. (2021)

Keyphrases

contextual information
model checking
knowledge transfer
transfer learning
context sensitive
databases
cross domain
computer vision
digital content
machine learning
database systems
image sequences
bayesian networks
context dependent
refinement process
refinement step