2742 search results - page 514 / 549 » Deriving Category Theory from Type Theory |
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
Current trends in model construction in the field of agentbased computational economics base behavior of agents on either game theoretic procedures (e.g. belief learning, fictit...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
While the class of congestion games has been thoroughly studied in the multi-agent systems literature, settings with incomplete information have received relatively little attenti...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
MOBICOM
2009
ACM
14 years 3 months ago
2009
ACM
Cognitive radio is an enabling technology that allows unlicensed users to opportunistically access the spectrum in order to enhance the spectrum efficiency. In this paper, we cons...
RECSYS
2009
ACM
14 years 3 months ago
2009
ACM
We present an incentive-based architecture for providing recommendations in a social network. We maintain a distinct reputation system for each individual and we rely on users to ...