Verifying robust frequency domain properties of non linear oscillators using SMT.
Hafiz ul AsadKevin D. JonesFrédéric SurrePublished in: DDECS (2014)
Keyphrases
- frequency domain
- spatial domain
- fourier transform
- cross correlation
- power spectrum
- feature extraction
- subband
- spectral domain
- denoising
- fourier domain
- facial asymmetry
- power spectra
- spectrum analysis
- frequency analysis
- fourier analysis
- computer vision
- low pass
- fast fourier transform
- phase correlation
- frequency response
- frequency domain analysis
- subpixel accuracy
- frequency spectrum
- error diffusion
- image coding
- image quality
- image registration
- high quality
- affine invariance
- machine learning