Sciweavers

5722 search results - page 775 / 1145
» Security Function Interactions
Sort
View
CHI
2004
ACM
16 years 6 months ago
What a to-do: studies of task management towards the design of a personal task list manager
This paper reports on the results of studies of task management to support the design of a task list manager. We examined the media used to record and organize to-dos and tracked ...
Victoria Bellotti, Brinda Dalal, Nathaniel Good, P...
159
Voted
CHI
2004
ACM
16 years 6 months ago
Breaking the book: translating the chemistry lab book into a pervasive computing lab environment
The UK e-Science programme is relying on the evolution of the paper lab book into a pervasive data gathering lab system. To date take up of existing commercial or research lab boo...
Monica M. C. Schraefel, Gareth V. Hughes, Hugo R. ...
CHI
2003
ACM
16 years 6 months ago
Mobile ADVICE: an accessible device for visually impaired capability enhancement
The visually impaired have limited access to the world of mobile devices. Our goal was to design a handheld mobile device to overcome limitations such as reliance on visual displa...
Robert A. Amar, Steven Dow, Richard Gordon, Muhamm...
CHI
2002
ACM
16 years 6 months ago
Specifying preferences based on user history
Many applications require users to specify preferences. We support users in this task by letting them define preferences relative to their personal history or that of other users....
Loren G. Terveen, Jessica McMackin, Brian Amento, ...
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
16 years 3 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard