840 search results - page 124 / 168 » Adaptive Human-Robot Interaction System using Interactive EC |
169
Voted
CRYPTO
2011
Springer
14 years 3 months ago
2011
Springer
In this paper, we initiate a study of zero knowledge proof systems in the presence of sidechannel attacks. Specifically, we consider a setting where a cheating verifier is allow...
122
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
In this paper we study a class of resource allocation games which are inspired by the El Farol Bar problem. We consider a system of competitive agents that have to choose between ...
119
click to vote
AAAI
2010
15 years 5 months ago
2010
Embedded systems consisting of collaborating agents capable of interacting with their environment are becoming ubiquitous. It is crucial for these systems to be able to adapt to t...
104
Voted
CHI
2008
ACM
16 years 3 months ago
2008
ACM
A reliable and unobtrusive measurement of working memory load could be used to evaluate the efficacy of interfaces and to provide real-time user-state information to adaptive syst...
150
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...