2533 search results - page 294 / 507 » Supporting Generalized Context Interactions |
187
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
180
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
Current mobile devices embrace a wide range of functionalities including high speed network support, hardware accelerated 3D graphics, and multimedia capabilities. These capabilit...
184
click to vote
ACMACE
2007
ACM
15 years 10 months ago
2007
ACM
Computer games do not afford much physical activity and hence do not require significant energy expenditure, which can contribute to the prevalence of a sedentary lifestyle. A &qu...
175
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Contemporary work increasingly involves interacting with strangers in technology-mediated environments. In this context, we come to rely on digital artifacts to infer characterist...
168
click to vote
ACMDIS
2006
ACM
16 years 16 days ago
2006
ACM
One challenge for ubiquitous computing is providing appropriate tools for professional designers, thus leading to stronger user-valued applications. Unlike many previous tool-buil...