Sciweavers

1712 search results - page 140 / 343
» Assistive technology in computer science
Sort
View
CHI
2006
ACM
16 years 6 months ago
Participatory design with proxies: developing a desktop-PDA system to support people with aphasia
In this paper, we describe the design and preliminary evaluation of a hybrid desktop-handheld system developed to support individuals with aphasia, a disorder which impairs the ab...
Jordan L. Boyd-Graber, Sonya S. Nikolova, Karyn Mo...
HICSS
1998
IEEE
97views Biometrics» more  HICSS 1998»
15 years 10 months ago
CAFE: A Conceptual Model for Managing Information in Electronic Mail
The design and implementation of a conceptual model, CAFE (a Categorization Assistant For E-mail), is described. The model supports the organization, searching, and retrieval of i...
Juha Takkinen, Nahid Shahmehri
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 4 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
UM
2009
Springer
16 years 28 days ago
Non-intrusive Personalisation of the Museum Experience
Abstract. The vast amount of information presented in museums is often overwhelming to a visitor, making it difficult to select personally interesting exhibits. Advances in mobile...
Fabian Bohnert, Ingrid Zukerman
ICMI
2004
Springer
183views Biometrics» more  ICMI 2004»
15 years 11 months ago
Agent and library augmented shared knowledge areas (ALASKA)
This paper reports on an NSF-funded effort now underway to integrate three learning technologies that have emerged and matured over the past decade; each has presented compelling ...
Eric R. Hamilton