12597 search results - page 78 / 2520 » Complexity of Mechanism Design |
121
click to vote
ICARCV
2008
IEEE
16 years 19 days ago
2008
IEEE
—This paper describes a new active ball handling method for the RoboCup mid-size league as used by team Tech United at Eindhoven University of Technology. A theoretical model is ...
140
click to vote
CLIMA
2004
15 years 7 months ago
2004
We discuss some features of the new logic programming language DALI for agents and multi-agent systems. In particular, we aim at illustrating the treatment of proactivity, which is...
142
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
Designers of concurrent programs are faced with many choices of synchronization mechanisms, among which clear functional trade-offs exist. Making synchronization customizable is h...
188
click to vote
CONEXT
2005
ACM
15 years 8 months ago
2005
ACM
The design and development process of communication protocols and real-time systems and particularly transport protocol mechanisms requires adequate methodology and efficient ins...
135
click to vote
FCSC
2007
15 years 6 months ago
2007
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...