2911 search results - page 429 / 583 » A Theory of Expressiveness in Mechanisms |
115
click to vote
CGI
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents a quasi-physically based approach for interactively simulating large-scale dynamic forest scenes under different wind conditions. We introduce theories from th...
IAT
2006
IEEE
15 years 7 months ago
2006
IEEE
Game theory is popular in agent systems for designing auctions with desirable properties. However, many of these properties will only hold if the game and its properties are commo...
106
click to vote
ICDCS
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper studies the use of pricing as an incentive mechanism to encourage private, self-interested nodes to participate in a public wireless mesh network and cooperate in the p...
110
click to vote
ICDCSW
2006
IEEE
15 years 7 months ago
2006
IEEE
Interdomain routing is essential to both the stability and efficiency of the global Internet. However, most previous studies focus only on stability, and only on a special class ...
117
click to vote
ACL2
2006
ACM
15 years 7 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...