797 search results - page 123 / 160 » Towards a Generalized Interaction Scheme for Information Acc... |
ASSETS
2006
ACM
14 years 2 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 ...
SIGCSE
2005
ACM
14 years 2 months ago
2005
ACM
Undergraduate computer science students have few opportunities to experience scientific investigation and computer science research. A human-computer interaction (HCI) course can ...
ICMI
2005
Springer
14 years 2 months ago
2005
Springer
There are new challenges to us, as researchers, on how to design and evaluate new mobile applications because they give users access to powerful computing devices through small in...
DANCE
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...
CADE
2005
Springer
14 years 8 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...