770 search results - page 124 / 154 » Dinatural Terms in System F |
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational compl...
SIGIR
2009
ACM
14 years 3 months ago
2009
ACM
A number of online video social networks, out of which YouTube is the most popular, provides features that allow users to post a video as a response to a discussion topic. These f...
SIGECOM
2006
ACM
14 years 2 months ago
2006
ACM
In multiagent systems, strategic settings are often analyzed under the assumption that the players choose their strategies simultaneously. However, this model is not always realis...
SOUPS
2006
ACM
14 years 2 months ago
2006
ACM
The focus of our approach to the usability considerations of privacy and security has been on providing people with information they can use to understand the implications of thei...
TLDI
2005
ACM
14 years 2 months ago
2005
ACM
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....