Verification of Invertibility of Complicated Functions over Large Domains.

Jens Hoefkens Martin Berz

Published in: Reliab. Comput. (2002)

Keyphrases

sufficient conditions
model checking
binary images
real world
real time
training data
transfer learning
face verification
computer vision
information systems
image sequences
artificial neural networks
distributed systems
application domains
computationally expensive