1712 search results - page 137 / 343 » Assistive technology in computer science |
199
click to vote
LICS
2007
IEEE
16 years 20 days ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
126
click to vote
FLAIRS
2003
15 years 7 months ago
2003
This article describes the application of computational decision analytic techniques for a national policy decision. It constitutes an example of the increasing use of modern comp...
166
click to vote
DGO
2003
15 years 7 months ago
2003
As part of a National Science Foundation-funded study, we analyze data from a 2002 Midwest urban random sample survey (n = 167 adults) of differential access to and uses of comput...
154
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
Within the CHI community there is growing interest in moving beyond cognition and expanding into the social, emotional, and bodily aspects of the human-computer experience. Sex li...
276
click to vote
Publication
This paper represents the technical core of a pre-competitive consortium formed by AT&T, DEC and MIT to study the technology, architecture and applications of wide-band all-opt...