8824 search results - page 195 / 1765 » On the Complexity of Real Functions |
177
click to vote
VLSID
2000
IEEE
15 years 10 months ago
2000
IEEE
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
182
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we present an analysis of different approaches relative to the correction of belief functions based on the results given by a confusion matrix. Three different mecha...
162
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Improving on recent work on joint source-filter analysis of speech waveforms, we explore improvements to an autoregressive model with exogenous inputs represented by flexible ba...
143
click to vote
LPAR
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
160
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper deals with the identification of the flux for a system of conservation laws in the specific example of analytic chromatography. The fundamental equations of chromatograp...