Login / Signup
Recalling a witness: foundations and applications of monotonic state.
Danel Ahman
Cédric Fournet
Catalin Hritcu
Kenji Maillard
Aseem Rastogi
Nikhil Swamy
Published in:
Proc. ACM Program. Lang. (2018)
Keyphrases
</>
data sets
computer vision
three dimensional
evolutionary algorithm
artificial intelligence
search engine
social networks
decision making
high quality
optimal solution
digital libraries
wireless sensor networks
probability distribution