306 search results - page 3 / 62 » Constructive analysis, types and exact real numbers |
TYPES
2000
Springer
13 years 11 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...
JUCS
2010
13 years 2 months ago
2010
: We address the question of how to communicate among distributed processes values such as real numbers, continuous functions and geometrical solids with arbitrary precision, yet e...
INFOCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstractâ In this paper, we study the problem of exact emulation of two types of optical queues: (i) N-to-1 output-buffered multiplexers with variable length bursts, and (ii) N Ă...
UC
2009
Springer
14 years 2 months ago
2009
Springer
Geometrical Computation and Computable Analysis J´erËome Durand-Loseâ Laboratoire dâInformatique Fondamentale dâOrl´eans, Universit´e dâOrl´eans, B.P. 6759, F-45067 OR...
CIKM
2005
Springer
14 years 1 months ago
2005
Springer
Accurately and efďŹciently estimating the number of distinct values for some attribute(s) or sets of attributes in a data set is of critical importance to many database operation...