4190 search results - page 724 / 838 » Implementing commitment-based interactions |
153
click to vote
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— Nanomanipulation using Atomic Force Microscope (AFM) has been extensively investigated for many years. However, control of tip position during nanomanipulation is still...
123
click to vote
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
114
click to vote
SOUPS
2005
ACM
15 years 8 months ago
2005
ACM
Phishing is a model problem for illustrating usability concerns of privacy and security because both system designers and attackers battle using user interfaces to guide (or misgu...
132
click to vote
DIGRA
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes the preliminary research of an ambient intelligent system known as socioec(h)o. socio-ec(h)o explores the design and implementation of an ambient intelligent ...
107
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
We present AutoDVS, a dynamic voltage scaling (DVS) system for hand-held computers. Unlike extant DVS systems, AutoDVS distinguishes common, course-grain, program behavior and cou...