Signal Convolution Logic.
Simone SilvettiLaura NenziEzio BartocciLuca BortolussiPublished in: ATVA (2018)
Keyphrases
- impulse response
- frequency domain
- fir filters
- non stationary
- high frequency
- modal logic
- signal processing
- logic programming
- multi valued
- digital circuits
- fast fourier transform
- neural network
- proof theory
- signal detection
- compressive sensing
- convolution kernel
- multiscale
- asynchronous circuits
- measured data
- real and imaginary parts
- epistemic logic
- predicate logic
- radio frequency
- wavelet analysis
- classical logic
- heart rate
- logic programs
- image processing