39 search results - page 8 / 8 » A Validation Framework for Formal Models in Adaptive Work-In... |
ICRA
2003
IEEE
13 years 10 months ago
2003
IEEE
Existing task allocation algorithms generally do not consider the effects of task interaction, such as interference, but instead assume that tasks are independent. That assumptio...
ARGMAS
2007
Springer
13 years 9 months ago
2007
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent knowledge, based on the construction and the comparison of arguments. In this pape...
CRYPTO
2011
Springer
12 years 4 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...
ECIR
2010
Springer
13 years 6 months ago
2010
Springer
Collaborative filtering is one of the most effective techniques for making personalized content recommendation. In the literature, a common experimental setup in the modeling phase...