518 search results - page 104 / 104 » Automating Proofs in Category Theory |
AAMAS
2005
Springer
13 years 5 months ago
2005
Springer
Cooperative multi-agent systems are ones in which several agents attempt, through their interaction, to jointly solve tasks or to maximize utility. Due to the interactions among t...
WWW
2011
ACM
13 years 7 days ago
2011
ACM
Our objective is to improve the performance of keyword based image search engines by re-ranking their baseline results. To this end, we address three limitations of existing searc...
ATAL
2011
Springer
12 years 5 months ago
2011
Springer
There is now considerable evidence in social psychology, economics, and related disciplines that emotion plays an important role in negotiation. For example, humans make greater c...