34199 search results - page 6493 / 6840 » Petascale Computational Systems |
310
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
158
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
While most collaboration technologies are concerned with supporting particular tasks such as workflows or meetings, many work groups do not have the teamwork skills essential to e...
152
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Users find it hard to delete unimportant personal information which often results in cluttered workspaces. We present a full design cycle for GrayArea, a novel interface that allo...
179
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
The greatest contributor of CO2 emissions in the average American household is personal transportation. Because transportation is inherently a mobile activity, mobile devices are ...
168
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
For the majority of blind people, walking in unknown places is a very difficult, or even impossible, task to perform, when without help. The adoption of the white cane is the main...