895 search results - page 2 / 179 » A Spectrum of Applications of Automated Reasoning |
GIS
2000
ACM
13 years 8 months ago
2000
ACM
LICS
1999
IEEE
13 years 8 months ago
1999
IEEE
ILP
2001
Springer
13 years 9 months ago
2001
Springer
LICS
1998
IEEE
13 years 8 months ago
1998
IEEE
CSL
2007
Springer
13 years 4 months ago
2007
Springer
In this paper, we consider the topic of iterative, one dimensional, signal reconstruction (specifically speech signals) from the magnitude spectrum and the phase spectrum. While ...