Sciweavers

16626 search results - page 21 / 3326
» Computing is a natural science
Sort
View
79
Voted
ICALP
2004
Springer
15 years 5 months ago
An Analog Characterization of Elementarily Computable Functions over the Real Numbers
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
Olivier Bournez, Emmanuel Hainry
JGS
2000
88views more  JGS 2000»
14 years 11 months ago
Part 4 Technology and the future of GIS and spatial analysis
Abstract. Geographical Information Science is essentially computational geography and has its own research program, namely all aspects of formal models for spatial natural processe...
Andrew U. Frank
GI
2001
Springer
15 years 4 months ago
Infrastructure for Pervasive Computing: Challenges
: As mobile and embedded computing devices become more pervasive, it is becoming obvious that the nature of interactions between users and computers must evolve. Applications need ...
Karen Henricksen, Jadwiga Indulska, Andry Rakotoni...
CCA
2009
Springer
15 years 6 months ago
Computability of Homology for Compact Absolute Neighbourhood Retracts
In this note we discuss the information needed to compute the homology groups of a topological space. We argue that the natural class of spaces to consider are the compact absolut...
Pieter Collins
CCA
2009
Springer
15 years 6 months ago
Computability of Probability Distributions and Distribution Functions
We define the computability of probability distributions on the real line as well as that of distribution functions. Mutual relationships between the computability notion of a pro...
Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi