1312 search results - page 185 / 263 » Formally Optimal Boxing |
138
click to vote
SAB
2010
Springer
15 years 20 days ago
2010
Springer
Abstract. Symmetry breaking is commonly found in self-organized collective decision making. It serves an important functional role, specifically in biological and bio-inspired sys...
99
Voted
CG
2010
Springer
15 years 9 days ago
2010
Springer
We used in the past a lot of computational power and human expertise for having a very big dataset of good 9x9 Go games, in order to build an opening book. We improved a lot the al...
115
click to vote
PPDP
2010
Springer
15 years 5 days ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
114
click to vote
SGAI
2010
Springer
15 years 5 days ago
2010
Springer
Multi-agent planning is a core issue in the multi-agent systems field. In this work we focus on the coordination of multiple agents in a setting where agents are able to achieve in...
117
click to vote
SIGSOFT
2010
ACM
15 years 5 days ago
2010
ACM
Concurrent programs are notoriously difficult to debug. We see two main reasons for this: 1) concurrency bugs are often difficult to reproduce, 2) traces of buggy concurrent execu...