Verification of Vectorization of Signal Transforms.

Patrick Brinich Jeremy Johnson

Published in: LCPC (2020)

Keyphrases

signal processing
non stationary
frequency domain
model checking
wavelet analysis
high frequency
formal verification
line segments
signal detection
white noise
line drawings
original signal
control signals
impulse response
signature verification
heart rate
data sets
spatial domain
image quality
face recognition