Sciweavers

3813 search results - page 300 / 763
» Advanced Interaction in Context
Sort
View
DSVIS
2008
Springer
15 years 9 months ago
Towards Characterizing Visualizations
The ability to characterize visualizations would bring several benefits to the design process. It would help designers to assess their designs, reuse existing designs in new contex...
Christophe Hurter, Stéphane Conversy
AVI
2006
15 years 8 months ago
Visualization of patient data at different temporal granularities on mobile devices
The capability of accessing, analyzing and possibly updating patients' medical records from anywhere through a mobile device in the hands of clinicians and nurses is consider...
Luca Chittaro
EHCI
2001
15 years 8 months ago
Mobile Collaborative Augmented Reality: The Augmented Stroll
Abstract. The paper focuses on Augmented Reality systems in which interaction with the real world is augmented by the computer, the task being performed in the real world. We first...
Philippe Renevier, Laurence Nigay
CADE
2010
Springer
15 years 8 months ago
Multi-Prover Verification of Floating-Point Programs
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
Ali Ayad, Claude Marché
ACMDIS
2010
ACM
15 years 7 months ago
HCI and environmental sustainability: the politics of design and the design of politics
Many HCI researchers have recently begun to examine the opportunities to use ICTs to promote environmental sustainability and ecological consciousness on the part of technology us...
Paul Dourish