Sciweavers

1284 search results - page 42 / 257
» On Helping and Interactive Proof Systems
Sort
View
FOAL
2009
ACM
14 years 3 months ago
A type system for functional traversal-based aspects
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
Bryan Chadwick, Karl J. Lieberherr
CHI
2008
ACM
14 years 9 months ago
Interactional empowerment
We propose that an interactional perspective on how emotion is constructed, shared and experienced, may be a good basis for designing affective interactional systems that do not i...
Anna Ståhl, Jarmo Laaksolahti, Kristina H&ou...
ISWC
2000
IEEE
14 years 1 months ago
Enabling Implicit Human Computer Interaction: A Wearable RFID-Tag Reader
Implicit human computer interaction is based on the concept of using user activity in the real world as input to computers. Implicit HCI can help to reduce the problem of user inp...
Albrecht Schmidt, Hans-Werner Gellersen, Christian...
BCSHCI
2007
13 years 10 months ago
Interaction manifolds: theory from experiments
This poster builds on comparative ethnographic work of a multi-disciplinary medical team using a paper-based and a computer-based patient record system. It describes the design an...
Cecily Morrison, Alan F. Blackwell
HICSS
2010
IEEE
147views Biometrics» more  HICSS 2010»
14 years 2 months ago
Interaction and Collaboration Modes for Integrating Inspiring Information into Technology-Enhanced Creativity Workshops
The design of a creativity workshop which helps to develop new ideas of how to support elderly people to live in their own home for as long as possible is presented. The participa...
Angela Carell, Thomas Herrmann