406 search results - page 29 / 82 » Recursive Approximability of Real Numbers |
189
click to vote
TYPES
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In the FTA project in Nijmegen we have formalized a constructive proof of the Fundamental Theorem of Algebra. In the formalization, we have first defined the (constructiv...
166
click to vote
PARA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents a method of solving initial value problems using Euler’s method, based on the domain of interval valued functions of a real variable. In contrast to...
173
click to vote
TIP
1998
15 years 4 months ago
1998
Abstract—A general variational framework for image approximation and segmentation is introduced. By using a continuous “line-process” to represent edge boundaries, it is poss...
153
click to vote
GLOBECOM
2009
IEEE
16 years 1 days ago
2009
IEEE
—In this paper we look at the problem of accurately reconstructing distributed signals through the collection of a small number of samples at a data gathering point. The techniqu...
166
click to vote
COMPGEOM
2005
ACM
15 years 7 months ago
2005
ACM
We consider the problem of computing a representation of the plane graph induced by one (or more) algebraic curves in the real plane. We make no assumptions about the curves, in p...