2742 search results - page 438 / 549 » Deriving Category Theory from Type Theory |
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
In typical multiagent teamwork settings, the teammates are either programmed together, or are otherwise provided with standard communication languages and coordination protocols. ...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
Social norms enable coordination in multiagent systems by constraining agent behaviour in order to achieve a social objective. Automating the design of social norms has been shown...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
This paper aims to quantify two common assumptions about social tagging: (1) that tags are “meaningful” and (2) that the tagging process is influenced by tag suggestions. For...
GECCO
2008
Springer
13 years 10 months ago
2008
Springer
Standard tournament selection samples individuals with replacement. The sampling-with-replacement strategy has its advantages but also has issues. One of the commonly recognised i...
MM
2010
ACM
13 years 9 months ago
2010
ACM
Searching for small objects (e.g., logos) in images is a critical yet challenging problem. It becomes more difficult when target objects differ significantly from the query object...