1809 search results - page 29 / 362 » Weakly Computable Real Numbers |
CIE
2009
Springer
14 years 2 months ago
2009
Springer
J. Raymundo Marcial–Romero and M. H. Escard´o described onal programming language with an abstract data type Real for the real numbers and a non-deterministic operator rtest: Re...
LICS
1997
IEEE
13 years 12 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
FOCS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper proves ¡ £ ¥ lower bounds on the time to perform a single instance of an operation in any implementation of a large class of data structures shared by £ processe...
IMAGING
2004
13 years 9 months ago
2004
We investigate the hypothesis, recently published in Nature, that the human visual system may use some sort of luminance-redness correlation2 together with the scene average for i...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
The goal of the work described here is to limit the computation needed in unit selection Viterbi search for text-to-speech synthesis. The broader goal is to improve speech quality...