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