Sciweavers

1306 search results - page 246 / 262
» Strategy Acquisition for the Game
Sort
View
94
Voted
CAV
2007
Springer
121views Hardware» more  CAV 2007»
15 years 7 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
96
Voted
ECAL
2007
Springer
15 years 7 months ago
A Multi-level Selection Model for the Emergence of Social Norms
We develop a multi-level selection model in the framework of indirect reciprocity. Using two levels of selection, one at the individual level and another at the group level, we pro...
Francisco C. Santos, Fabio A. C. C. Chalub, Jorge ...
119
Voted
WMTE
2005
IEEE
15 years 6 months ago
'Location is not enough!': an Empirical Study of Location-Awareness in Mobile Collaboration
: There is an ever growing number of mobile learning applications based on location-awareness, However, there is still a lack of information concerning how it might impact socio-co...
Nicolas Nova, Fabien Girardin, Pierre Dillenbourg
ESAS
2005
Springer
15 years 6 months ago
Spontaneous Cooperation in Multi-domain Sensor Networks
Sensor networks are large scale networks consisting of several nodes and some base stations. The nodes are monitoring the environment and send their measurement data towards the ba...
Levente Buttyán, Tamás Holczer, P&ea...
102
Voted
ACMICEC
2004
ACM
161views ECommerce» more  ACMICEC 2004»
15 years 6 months ago
The 2003 Supply Chain Management Trading Agent Competition
Supply Chain Management deals with the planning and coordination of bidding, production and procurement activities across the multiple organizations involved in the delivery of on...
Raghu Arunachalam, Norman M. Sadeh