4999 search results - page 185 / 1000 » User Interaction in the BANKS System |
217
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
The pervasive adoption of wireless technologies is creating a growing demand for seamless interaction with wireless services. By sharing resources across devices such as PDA'...
273
click to vote
DGO
2011
14 years 6 months ago
2011
The past few years have seen an explosive growth in scientific and regulatory documents related to the patent system. Relevant information is siloed into many heterogeneous and di...
172
click to vote
ASSETS
2008
ACM
15 years 7 months ago
2008
ACM
Recent advances in touch screen technology have increased the prevalence of touch screens and have prompted a wave of new touch screen-based devices. However, touch screens are st...
161
click to vote
ISWC
2000
IEEE
15 years 11 months ago
2000
IEEE
Implicit human computer interaction is based on the concept of using user activity in the real world as input to computers. Implicit HCI can help to reduce the problem of user inp...
161
click to vote
IANDC
2006
15 years 6 months ago
2006
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...