Convolution λ̅μ-Calculus.

Published in: TLCA (2007)

Keyphrases

image processing
convolution kernel
high resolution
automated deduction
computer algebra
website
case study
image segmentation
query language
signal processing
theorem proving
gaussian kernel
fast fourier transform
algebraic structure
provably correct
linear filtering