2522 search results - page 42 / 505 » From Self-Organized Systems to Collective Problem Solving |
LICS
2003
IEEE
14 years 27 days ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
Collection recommender systems suggest groups of items that work well as a whole. The interaction effects between items is an important consideration, but the vast space of possib...
WS
2008
ACM
13 years 7 months ago
2008
ACM
This article presents the CHIP demonstrator5 for providing personalized access to digital museum collections. It consists of three main components: Art Recommender, Tour Wizard, an...
ICAC
2008
IEEE
14 years 2 months ago
2008
IEEE
There is widespread interest today in developing tools that can diagnose the cause of a system failure accurately and efficiently based on monitoring data collected from the syst...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
We introduce a novel case study in which a group of miniaturized robots screen an environment for undesirable agents, and destroy them. Because miniaturized robots are usually end...