4447 search results - page 778 / 890 » Model Checking Games |
161
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Cooperation between rational users in wireless networks is studied using coalitional game theory. Using the rate achieved by a user as its utility, it is shown that the stable coal...
142
click to vote
DA
2010
15 years 6 months ago
2010
: We consider two mechanisms to procure differentiated goods: the request for quote and an English auction with bidding credits. In the request for quote, each seller submits a pri...
153
click to vote
CVGIP
2006
15 years 6 months ago
2006
We present a method for synthesizing animations of autonomous space, water, and land-based vehicles in games or other interactive simulations. Controlling the motion of such vehic...
175
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Discrete temporal transitions occur in a variety of domains, but this work is mainly motivated by applications in molecular biology: explaining and analyzing observed transcriptome...
146
click to vote
MKTSCI
2008
15 years 6 months ago
2008
Most supermarket firms choose to position themselves by offering either "Every Day Low Prices" (EDLP) across several items or offering temporary price reductions (promot...