Sealing pointer-based optimizations behind pure functions.

Daniel Selsam Simon Hudon Leonardo de Moura

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

data structure
neural network
artificial neural networks
metadata
clustering algorithm
case study
three dimensional
face recognition
multiscale
search algorithm
multiresolution
multi objective
basis functions