Client-specific equivalence checking.

Federico Mora Yi Li Julia Rubin Marsha Chechik

Published in: ASE (2018)

Keyphrases

databases
domain specific
computer vision
website
case study
face recognition
lower bound
artificial neural networks
integrity constraints