Login / Signup
Fourier Series Formalization in ACL2(r).
Cuong K. Chau
Matt Kaufmann
Warren A. Hunt Jr.
Published in:
ACL2 (2015)
Keyphrases
</>
keypoints
fourier series
multiscale
discrete fourier transform
natural language learning
feedback loop
agent communication language
circular harmonic
image processing
reconstruction method
operational semantics
feature selection
image data
computationally efficient