390 search results - page 1 / 78 » Algorithmic Mechanism Design (Extended Abstract) |
STOC
1999
ACM
13 years 9 months ago
1999
ACM
CP
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. Among backtracking based algorithms for constraint satisfaction problems (CSPs), algorithms employing constraint propagation, like forward checking (FC) and MAC, have had...
ESORICS
2004
Springer
13 years 10 months ago
2004
Springer
d Abstract) James Aspnes , Joan Feigenbaum , Aleksandr Yampolskiy † , and Sheng Zhong ‡ Department of Computer Science, Yale University, New Haven CT 06520-8285, USA Abstract. ...
MEMOCODE
2005
IEEE
13 years 10 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
SELMAS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. A crucial part of multi-agent system design is the design of agent interactions. Traditional approaches to designing agent interaction use interaction protocols, which fo...