Aliasing Restrictions of C11 Formalized in Coq.

Robbert Krebbers

Published in: CPP (2013)

Keyphrases

formal methods
frequency domain
high frequency
super resolution
light field
neural network
multi agent
high resolution
spatial resolution
low pass filtering
sampling theorem
data sets
three dimensional
computational complexity
theorem prover
reconstruction error