1401 search results - page 151 / 281 » Randomness in Interactive Proofs |
103
click to vote
SP
2008
IEEE
14 years 8 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
CEC
2010
IEEE
14 years 10 months ago
2010
IEEE
— Many evolutionary algorithms have been proposed for large scale optimization. Parameter interaction in nonseparable problems is a major source of performance loss specially on ...
IUI
2010
ACM
15 years 6 months ago
2010
ACM
We present rush as a recommendation-based interaction and visualization technique for repeated item selection from large data sets on mobile touch screen devices. Proposals and ch...
HRI
2009
ACM
15 years 4 months ago
2009
ACM
Simultaneous teleoperation of mobile, social robots presents unique challenges, combining the real-time demands of conversation with the prioritized scheduling of navigational tas...
104
click to vote
AIMSA
2008
Springer
15 years 4 months ago
2008
Springer
In order to build an intelligent system that allows human beings to cooperate with a computing machine to perform a given task it is important to account for the individual charact...