5093 search results - page 86 / 1019 » How Real are Real Numbers |
CIE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
JSC
2010
13 years 7 months ago
2010
We show how to compute Hong’s bound for the absolute positiveness of a polynomial in d variables with maximum degree δ in O(n logd n) time, where n is the number of non-zero co...
ICWS
2009
IEEE
14 years 6 months ago
2009
IEEE
The increasing usage of smart embedded devices is blurring the line between the virtual and real worlds. This creates new opportunities for applications to better integrate the re...
HAPTICS
2007
IEEE
14 years 3 months ago
2007
IEEE
This sketch presents the design and preliminary results of a study that investigates the transference of motor skills learned in a haptic-enabled virtual environment to performanc...
VL
2007
IEEE
14 years 3 months ago
2007
IEEE
Although there have been a number of studies of end-user software development tasks, few of them have considered gender issues for real end-user developers in real-world environme...