1393 search results - page 28 / 279 » Home, work, (play) |
OZCHI
2009
ACM
15 years 4 months ago
2009
ACM
We aim to make sense of a perplexing human experience (fun) as it occurs in a recently discovered place for sociotechnical study (the home). Our toolkit includes technology probes...
APSEC
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
STOC
2007
ACM
15 years 10 months ago
2007
ACM
In an online linear optimization problem, on each period t, an online algorithm chooses st S from a fixed (possibly infinite) set S of feasible decisions. Nature (who may be adve...
ACHI
2009
IEEE
15 years 4 months ago
2009
IEEE
– The general context of the work presented in this paper is assistive robotics with our long-term aim to support children with autism. This paper is part of the Aurora project t...
SIGECOM
2003
ACM
15 years 3 months ago
2003
ACM
We prove the existence of -Nash equilibrium strategies with support logarithmic in the number of pure strategies. We also show that the payoffs to all players in any (exact) Nash...