154 search results - page 26 / 31 » Web Interfaces for Proof Assistants |
ASSETS
2006
ACM
14 years 1 months ago
2006
ACM
Many of today’s desktop applications are designed for use with a pointing device and keyboard. Someone with a disability, or in a unique environment, may not be able to use one ...
ICCV
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract. Accurate head tilt detection has a large potential to aid people with disabilities in the use of human-computer interfaces and provide universal access to communication s...
AVI
2010
13 years 5 months ago
2010
The acceleration of rhythm of everyday life requires efficiency and flexibility in daily routines. The real expectations and needs of people concerning intelligent home devices sh...
CHI
2011
ACM
12 years 11 months ago
2011
ACM
Despite being an important channel for end-user assistance, few studies have directly investigated the interactions that occur in modern-day practice of software product support. ...
W4A
2006
ACM
14 years 1 months ago
2006
ACM
Graphical representations are a powerful way of conveying information. Their use has made life much easier for most sighted users, but people with disabilities or users who work i...