8031 search results - page 1303 / 1607 » The InfoPad User Interface |
128
click to vote
JAR
2010
15 years 2 months ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
124
click to vote
ISWC
1999
IEEE
15 years 8 months ago
1999
IEEE
We describe an experimental wearable augmented reality system that enables users to experience hypermedia presentations that are integrated with the actual outdoor locations to wh...
130
click to vote
WECWIS
1999
IEEE
15 years 8 months ago
1999
IEEE
The dominant technology for electronic communication and commerce, the telephone, does not discriminate between sighted and non-sighted users. The web does discriminate. The web i...
131
Voted
WMCSA
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes an approach for enabling remote database access from heterogeneous thin clients. DataX is a proxy-based architecture that supports disconnected operation by r...
108
click to vote
APCHI
1998
IEEE
15 years 8 months ago
1998
IEEE
When they encounter problems with a novel or infrequently performed task, experienced users often complete their work by referring to manuals and trying task-oriented exploration....