Sciweavers

5275 search results - page 505 / 1055
» Computing by observing
Sort
View
171
Voted
ICSE
2009
IEEE-ACM
16 years 8 months ago
Equality and hashing for (almost) free: Generating implementations from abstraction functions
ng Implementations from Abstraction Functions Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial In...
Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph...
CP
2009
Springer
16 years 8 months ago
Constraint-Based Optimal Testing Using DNNF Graphs
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
Anika Schumann, Martin Sachenbacher, Jinbo Huang
CHI
2008
ACM
16 years 7 months ago
Grounded evaluation of information visualizations
We introduce grounded evaluation as a process that attempts to ensure that the evaluation of an information visualization tool is situated within the context of its intended use. ...
Petra Isenberg, Torre Zuk, Christopher Collins, M....
CHI
2008
ACM
16 years 7 months ago
In-car gps navigation: engagement with and disengagement from the environment
Although in-car GPS navigation technology is proliferating, it is not well understood how its use alters the ways people interpret their environment and navigate through it. We ar...
Gilly Leshed, Theresa Velden, Oya Rieger, Blazej J...
187
Voted
CHI
2008
ACM
16 years 7 months ago
Collaborating to remember: a distributed cognition account of families coping with memory impairments
Individuals with cognitive deficits and their families are prime examples of collaborative "systems" that seek to perform everyday tasks together. Yet there has been lit...
Mike Wu, Jeremy P. Birnholtz, Brian Richards, Rona...