Sciweavers

198 search results - page 34 / 40
» The Multiplicative Quantum Adversary
Sort
View
ROBOCUP
2001
Springer
109views Robotics» more  ROBOCUP 2001»
14 years 16 hour ago
Multi-platform Soccer Robot Development System
Abstract. Robot soccer is a challenging research domain, which involves multiple agents (physical robots or ”softbots”) to work together in a dynamic, noisy, cooperative and ad...
Hui Wang, Han Wang, Chunmiao Wang, William Y. C. S...
CSFW
2009
IEEE
13 years 11 months ago
Authentication without Elision: Partially Specified Protocols, Associated Data, and Cryptographic Models Described by Code
Specification documents for real-world authentication protocols typically mandate some aspects of a protocol's behavior but leave other features optional or undefined. In add...
Phillip Rogaway, Till Stegers
CORR
2010
Springer
124views Education» more  CORR 2010»
13 years 7 months ago
Online Learning of Noisy Data with Kernels
We study online learning when individual instances are corrupted by adversarially chosen random noise. We assume the noise distribution is unknown, and may change over time with n...
Nicolò Cesa-Bianchi, Shai Shalev-Shwartz, O...
COMPLEXITY
2007
151views more  COMPLEXITY 2007»
13 years 7 months ago
From complex conflicts to stable cooperation: Cases in environment and security
: Conflict is a dynamic and complex form of human interaction, often emerging from incompatible actions, values and goals, and consuming a considerable amount of resources. Conflic...
Jürgen Scheffran, Bruce Hannon
ENTCS
2007
129views more  ENTCS 2007»
13 years 7 months ago
Protocol Composition Logic (PCL)
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
Anupam Datta, Ante Derek, John C. Mitchell, Arnab ...