149 search results - page 7 / 30 » A realizability interpretation for classical analysis |
CIE
2010
Springer
14 years 1 months ago
2010
Springer
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of cla...
IJON
2008
13 years 8 months ago
2008
In this work we address the problem of boundary detection by combining ideas and approaches from biological and computational vision. Initially, we propose a simple and efficient ...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...
MFCS
2001
Springer
14 years 1 months ago
2001
Springer
We study different computable versions of Baire’s Category Theorem in computable analysis. Similarly, as in constructive analysis, different logical forms of this theorem lead ...
DELTA
2004
IEEE
14 years 16 days ago
2004
IEEE
This paper is concerned with the study of human electroencephalogram (EEG) signal of an epileptic person. In classical EEG analysis rhythms in different bands have often been assu...