149 search results - page 17 / 30 » A realizability interpretation for classical analysis |
CCA
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can...
PLDI
2003
ACM
14 years 26 days ago
2003
ACM
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...
GCB
2007
Springer
14 years 1 months ago
2007
Springer
Biological systems have to react to environmental and/or developmental changes by adjusting their biochemical/cellular machinery on numerous levels. In many cases small molecules ...
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
This paper proposes a new texture classifier based on the Quaternionic Wavelet Transform (QWT). This recent transform separates the informations contained in the image better tha...
ICTAI
2010
IEEE
13 years 5 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...