810 search results - page 2 / 162 » Continuous cartogram construction |
MLQ
2000
13 years 5 months ago
2000
It is shown, constructively, that the mapping T AT is sequentially continuous with respect to the weak
CIE
2006
Springer
13 years 9 months ago
2006
Springer
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
ORL
2010
13 years 3 months ago
2010
We present an iterative method for constructing additive envelopes of continuous functions on a compact set, with contact at a prespecified point. For elements of a class of subm...
SCP
1998
13 years 5 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
FOCM
2010
13 years 3 months ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...