1011 search results - page 109 / 203 » The three dimensions of proofs |
168
click to vote
WINET
2002
15 years 6 months ago
2002
We describe a platform for context-aware computing which enables applications to follow mobile users as they move around a building. The platform is particularly suitable for rich...
136
click to vote
CIE
2010
Springer
15 years 5 months ago
2010
Springer
We investigate the computability of countable subshifts in one dimension, and their members. Subshifts of Cantor-Bendixson rank one contain only eventually periodic elements. Any ...
146
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we describe a dynamic external memory data structure that supports range reporting queries in three dimensions in O(log2 B N + k B ) I/O operations, where k is the nu...
137
click to vote
PSYCHNOLOGY
2010
15 years 4 months ago
2010
Viewers (N = 261) evaluated and chose avatars to represent them online. The viewers rated 92 potential avatars that were manipulated along three dimensions – sex, humanness, and...
165
click to vote
SIAMSC
2010
15 years 4 months ago
2010
A method for moving least squares interpolation and differentiation is presented in the framework of orthogonal polynomials on discrete points. This yields a robust and efficient ...