803 search results - page 106 / 161 » Game Theory and Decision Theory in Multi-Agent Systems |
177
click to vote
JAR
2010
15 years 4 months ago
2010
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
155
click to vote
JCT
1998
15 years 5 months ago
1998
The aim of this note is to point out some combinatorial applications of a lemma of Scarf, proved first in the context of game theory. The usefulness of the lemma in combinatorics...
168
click to vote
INFOCOM
2007
IEEE
16 years 14 days ago
2007
IEEE
—Unstructured networks (like ad-hoc or peer-to-peer networks) are networks without centralized control of their operation. Users make local decisions regarding whether to follow ...
149
click to vote
ICDCS
2006
IEEE
16 years 6 days 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...
199
click to vote
LSO
2004
Springer
15 years 11 months ago
2004
Springer
Selection of Commercial-off-The-Shelf (COTS) software products is a knowledge-intensive process. In this paper, we show how knowledge bases can be used to facilitate the COTS selec...