Synthesis of opacity-enforcing insertion functions that can be publicly known.

Yi-Chin Wu Stéphane Lafortune

Published in: CDC (2015)

Keyphrases

functional programs
neural network
multiresolution
database
real world
knowledge base
image processing
optimal solution
wide range