1717 search results - page 155 / 344 » A Computable Spectral Theorem |
138
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
128
click to vote
ICPR
2000
IEEE
15 years 9 months ago
2000
IEEE
The problem of selecting an appropriate wavelet filter is always present in the wavelet based image compression. In this study, we apply neural networks to wavelet filter select...
141
click to vote
TIM
2010
14 years 11 months ago
2010
Abstract--An approach for the construction of a family of desired order continuous polynomial time window functions is presented without self-convolution of the parent window. The ...
153
click to vote
ISCAS
2011
IEEE
14 years 8 months ago
2011
IEEE
—Linearity and spectral performance test contributes most cost of ADC test. This paper presents a new method for testing an ADC’s SNR from its linearity test data. The method d...
125
click to vote
ISSAC
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we give a new algorithm to compute Liouvillian solutions of linear difference equations. Compared to the prior algorithm by Hendriks and Singer, our main contributi...