748 search results - page 111 / 150 » Influencing interaction: development of the design with inte... |
TYPES
1995
Springer
13 years 11 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
Sensing affect raises critical privacy concerns, which are examined here using ethical theory, and with a study that illuminates the connection between ethical theory and privacy....
HAPTICS
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we describe our efforts to develop a new strategy for providing assistance using haptics in a virtual environment when training for a motor skill. Using a record and...
CVPR
2008
IEEE
14 years 10 months ago
2008
IEEE
Systematic content screening of cell phenotypes in microscopic images has been shown promising in gene function understanding and drug design. However, manual annotation of cells ...
SEFM
2005
IEEE
14 years 1 months ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...