Conference paper
(1 + ε)-approximate sparse recovery
Eric Price, David P. Woodruff
FOCS 2011
Paper
An experiment in automatic verification of programs
Related
S.M. Sadjadi, S. Chen, et al.
TAPIA 2009
Conference paper
Low-Resource Speech Recognition of 500-Word Vocabularies
Sabine Deligne, Ellen Eide, et al.
INTERSPEECH - Eurospeech 2001
A. Gupta, R. Gross, et al.
SPIE Advances in Semiconductors and Superconductors 1990