3937 search results - page 133 / 788 » Questioning Ubiquitous Computing |
61
Voted
APAL
2005
15 years 2 months ago
2005
Abstract. We construct a computable vector space with the trivial computable automorphism group, but with the dependence relations as complicated as possible, measured by their Tur...
156
click to vote
IJCAI
1997
15 years 3 months ago
1997
We study the problemof statisticallycorrect inference in networks whose basic representations are population codes. Population codes are ubiquitous in the brain, and involve the s...
119
click to vote
DAGSTUHL
2000
15 years 3 months ago
2000
The emerging discipline of algorithm engineering has primarily focussed on transforming pencil-and-paper sequential algorithms into robust, efficient, well tested, and easily used ...
108
click to vote
ISCC
2003
IEEE
15 years 7 months ago
2003
IEEE
The widespread diffusion of mobile computing along with the integration of telecommunication systems and the Internet enables a scenario where the promise of ubiquitous computing ...
115
click to vote
DAGSTUHL
2001
15 years 3 months ago
2001
This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific disc...