Sciweavers

4751 search results - page 368 / 951
» Affect: from information to interaction
Sort
View
MKM
2009
Springer
16 years 1 months ago
Combining Coq and Gappa for Certifying Floating-Point Programs
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
Sylvie Boldo, Jean-Christophe Filliâtre, Gui...
195
Voted
IADIS
2004
15 years 8 months ago
An Exploratory Architecture for an Inhabited Web
The current World Wide Web is essentially a network of documents, a continuously evolving information universe. But the potential of internetworking goes far beyond information ac...
Ivan Tomek
168
Voted
CHI
2010
ACM
16 years 1 months ago
Now let me see where i was: understanding how lifelogs mediate memory
Lifelogging technologies can capture both mundane and important experiences in our daily lives, resulting in a rich record of the places we visit and the things we see. This study...
Vaiva Kalnikaité, Abigail Sellen, Steve Whi...
CHI
2005
ACM
16 years 7 months ago
Notes on fridge surfaces
Drawing on ongoing ethnographic investigations into home life, this paper presents detailed findings from a preliminary examination of refrigerator surfaces. The use and organizat...
Laurel Swan, Alex S. Taylor
OZCHI
2009
ACM
16 years 1 months ago
Beyond the user: use and non-use in HCI
For many, an interest in Human-Computer Interaction is equivalent to an interest in usability. However, using computers is only one way of relating to them, and only one topic fro...
Christine Satchell, Paul Dourish