245 search results - page 34 / 49 » Constructive exploration of spatial information by blind use... |
244
click to vote
ICDE
2009
IEEE
16 years 11 months ago
2009
IEEE
Context is any information used to characterize the situation of an entity. Examples of contexts includetime, location, identity, and activity of a user. This paper proposes a gene...
UIST
2009
ACM
15 years 6 months ago
2009
ACM
While onboard navigation systems are gaining in importance, maps are still the medium of choice for laying out a route to a destination and for way finding. However, even with a ...
SIGIR
1999
ACM
15 years 4 months ago
1999
ACM
User interfaces for digital libraries tend to focus on retrieval: users retrieve documents online, but then print them out and work with them on paper. One reason for printing doc...
102
click to vote
MICRO
2008
IEEE
15 years 6 months ago
2008
IEEE
Any architectural optimization aims at satisfying the end user. However, modern architectures execute with little to no knowledge about the individual user. If architectures could...
103
click to vote
EUROCAST
2007
Springer
15 years 3 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...