132 search results - page 12 / 27 » Gaia: enabling active spaces |
CSCW
2004
ACM
13 years 9 months ago
2004
ACM
Abstract. In this paper we examine an emerging class of systems that link People-to-People-toGeographical-Places; we call these P3-Systems. Through analyzing the literature, we hav...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract— Continuum robots made from telescoping precurved elastic tubes enable base-mounted actuators to specify the curved shapes of robots as thin as standard surgical needles...
JCS
2010
13 years 4 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
ICDCSW
2002
IEEE
14 years 2 months ago
2002
IEEE
The proliferation of smart gadgets, appliances, mobile devices, PDAs and sensors has enabled the construction of ubiquitous computing environments, transforming regular physical s...
CHI
2008
ACM
14 years 10 months ago
2008
ACM
The broadening array of technologies available to support the design of classroom activity has the potential to reshape science learning in schools. This paper presents a ubiquito...