4508 search results - page 375 / 902 » Design of human-map system interaction |
178
click to vote
VSTTE
2005
Springer
16 years 9 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
220
click to vote
CSREAESA
2003
15 years 8 months ago
2003
Most so-called “adiabatic” digital logic circuit families reported in the low-power design literature are actually not truly adiabatic, in that they do not satisfy the general...
212
click to vote
ELECTRONICMARKETS
2011
15 years 1 months ago
2011
Abstract Ambient Assisted Living (AAL) offers possibilities for promising new IT-based health care services that are resulting in new challenges for its design process. We introduc...
149
click to vote
ISWC
2006
IEEE
16 years 26 days ago
2006
IEEE
We report on the results of a user study to investigate the utility of passive haptics for eyes-free numeric entry. This work targets cursorless user interfaces designed for use w...
149
click to vote
HCI
2009
15 years 4 months ago
2009
In complex human-machine systems, the human operator is often required to intervene to detect and solve problems. Given this increased reliance on the human in these critical human...