Verified integrity properties for safe approximate program transformations.

Michael Carbin Deokhwan Kim Sasa Misailovic Martin C. Rinard

Published in: PEPM (2013)

Keyphrases

neural network
computer vision
case study
least squares
data sets
artificial intelligence
search engine
website
similarity measure
multiscale
nearest neighbor
integrity constraints
structural properties