9110 search results - page 288 / 1822 » Formally-Based Design Evaluation |
157
click to vote
HRI
2010
ACM
16 years 1 months ago
2010
ACM
—When a user is in close proximity to a robot, physical contact becomes a potentially valuable channel for communication. People often use direct physical contact to guide a pers...
142
click to vote
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
We report a series of user studies that evaluate the feasibility and usability of light-weight user authentication with a single tri-axis accelerometer. We base our investigation ...
154
click to vote
CHINZ
2007
ACM
15 years 10 months ago
2007
ACM
Research has been done into improving the means by which we organise and manage information. The usefulness of 2D versus 3D interfaces and environments has also been debated and e...
170
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Privacy-preserving protocols allow multiple parties with private inputs to perform joint computation while preserving the privacy of their respective inputs. An important cryptogr...
182
click to vote
AAAI
2006
15 years 8 months ago
2006
In this paper, we discuss how our work on evaluating Semantic Web knowledge base systems (KBSs) contributes to address some broader AI problems. First, we show how our approach pr...