Sciweavers

62 search results - page 1 / 13
» Modified bar recursion
Sort
View
MSCS
2006
100views more  MSCS 2006»
13 years 3 months ago
Modified bar recursion
Modified bar recursion has been used to give a realizability interpretation of the classical axioms of countable and dependent choice. In this paper we survey the main results con...
Ulrich Berger, Paulo Oliva
CIE
2006
Springer
13 years 7 months ago
Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis
This note reexamines Spector's remarkable computational interpretation of full classical analysis. Spector's interpretation makes use of a rather abstruse recursion schem...
Paulo Oliva
MSCS
2010
74views more  MSCS 2010»
13 years 2 months ago
Selection functions, bar recursion and backward induction
Martín Hötzel Escardó, Paulo Ol...
JSYML
2010
70views more  JSYML 2010»
12 years 10 months ago
The bounded functional interpretation of the double negation shift
We prove that the (non-intuitionistic) law of the double negation shift has a bounded functional interpretation with bar recursive functionals of finite type. As an application, we...
Patrícia Engrácia, Fernando Ferreira
ICIP
2000
IEEE
13 years 8 months ago
Hough Technique for Bar Charts Detection and Recognition in Document Images
Charts are common graphic representation for scientific data in technical and business papers. We present a robust system for detecting and recognizing bar charts. The system incl...
Yan Ping Zhou, Chew Lim Tan