6614 search results - page 246 / 1323 » Semantics of Information as Interactive Computation |
190
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
156
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Patients do considerable information work. Technologies that help patients manage health information so they can play active roles in their health-care, such as personal health re...
182
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
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. ...
170
click to vote
CHI
2000
ACM
15 years 11 months ago
2000
ACM
Peripheral information is information that is not central to a person’s current task, but provides the person the opportunity to learn more, to do a better job, or to keep track...
146
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
We describe an implementation that has users `flick' notes, images, audio, and video files onto virtual piles beyond the display of small-screen devices. This scheme allows P...