Translation Validation: From SIGNAL to C.

Amir Pnueli Ofer Strichman Michael Siegel

Published in: Correct System Design (1999)

Keyphrases

signal processing
high frequency
signal detection
machine translation
original signal
compressive sensing
query translation
frequency domain
data sets
multiresolution
real time
multiscale
information systems
measured data
statistical machine translation
radio frequency
white noise
impulse response
data mining