Sign in

Verified integrity properties for safe approximate program transformations.

Michael CarbinDeokhwan KimSasa MisailovicMartin 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