Sciweavers

1503 search results - page 149 / 301
» Designing situations
Sort
View
CHI
2010
ACM
15 years 11 months ago
Experience in social affective applications: methodologies and case study
New forms of social affective applications are emerging, bringing with them challenges in design and evaluation. We report on one such application, conveying wellbeing for both pe...
Paul André, m. c. schraefel, Alan J. Dix, R...
TEI
2010
ACM
134views Hardware» more  TEI 2010»
15 years 11 months ago
Tangible lightscapes
Tangible Lightscapes is a research on interfaces mainly based on light and gestures. The aim of my exploration is to design a vocabulary of light behaviours to show people what th...
Alice V. Pintus
TEI
2009
ACM
127views Hardware» more  TEI 2009»
15 years 11 months ago
Living interfaces: the impatient toaster
This paper introduces the Impatient Toaster, a kitchen appliance designed to motivate its owners to eat more often and in regular intervals: After not using it for a while, it sig...
Eva Burneleit, Fabian Hemmert, Reto Wettach
GLVLSI
2009
IEEE
150views VLSI» more  GLVLSI 2009»
15 years 11 months ago
Contradictory antecedent debugging in bounded model checking
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
Daniel Große, Robert Wille, Ulrich Kühn...
ACML
2009
Springer
15 years 11 months ago
Automatic Choice of Control Measurements
Abstract. In experimental design, a standard approach for distinguishing experimentally induced effects from unwanted effects is to design control measurements that differ only ...
Gayle Leen, David R. Hardoon, Samuel Kaski