289 search results - page 4 / 58 » A Tour with Constructive Real Numbers |
170
click to vote
ECML
1997
Springer
15 years 9 months ago
1997
Springer
In learning from examples it is often useful to expand an attribute-vector representation by intermediate concepts. The usual advantage of such structuring of the learning problemi...
180
click to vote
NETWORKING
2007
15 years 6 months ago
2007
Abstract. We consider the problem of constructing a proxy-based overlay skeleton tree (POST) in the backbone service domain of a two-tier overlay multicast infrastructure. Spanning...
132
click to vote
JUCS
2010
15 years 6 days ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
136
click to vote
MFCS
2005
Springer
15 years 11 months ago
2005
Springer
Let β be a real number with 1 < β < 2. We prove that the language of the β-shift is ∆0 n iff β is a ∆n-real. The special case where n is 1 is the independently inter...
161
click to vote
COMBINATORICS
1998
15 years 5 months ago
1998
Let α and β be a partition of {1, . . . , n} into two blocks. A merging network is a network of comparators which allows as input arbitrary real numbers and has the property tha...