Login / Signup
Post hoc verification of quantum computation.
Joseph F. Fitzsimons
Michal Hajdusek
Published in:
CoRR (2015)
Keyphrases
</>
post hoc
quantum computation
face verification
model checking
verification method
medical images
asynchronous circuits
formal verification
formal methods
digital images
three dimensional
databases
real time
expert systems
case study
computer vision
data mining
neural network
functional verification