Synthesizing quotient lenses.

Solomon Maina Anders Miltner Kathleen Fisher Benjamin C. Pierce David Walker Steve Zdancewic

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

Keyphrases

machine intelligence
imaging systems
data sets
artificial intelligence
computer vision
objective function
computational complexity
artificial neural networks
viewpoint
high resolution
probabilistic model
hough transform