Login / Signup
Transparent IFC Enforcement: Possibility and (In)Efficiency Results.
Maximilian Algehed
Cormac Flanagan
Published in:
CoRR (2020)
Keyphrases
</>
information retrieval
computational complexity
highly efficient
data sets
neural network
computer vision
objective function
wide range
search algorithm
lower bound
computational efficiency
high efficiency