Signatures of Correct Computation.

Charalampos Papamanthou Elaine Shi Roberto Tamassia

Published in: TCC (2013)

Keyphrases

face recognition
neural network
case study
object recognition
information technology
control system
probability distribution
efficiently computing