Login / Signup
Typed-based Relaxed Noninterference for Free.
Minh Ngo
David A. Naumann
Tamara Rezk
Published in:
CoRR (2019)
Keyphrases
</>
higher order
lambda calculus
artificial intelligence
image processing
optimal solution
preprocessing
real time
data sets
data mining
machine learning
learning algorithm
case study
expert systems
special case
digital images