4447 search results - page 475 / 890 » Model Checking Games |
247
click to vote
ML
2010
ACM
15 years 2 months ago
2010
ACM
Traditional classification methods assume that the training and the test data arise from the same underlying distribution. However, in several adversarial settings, the test set is...
290
click to vote
CEAS
2011
Springer
14 years 7 months ago
2011
Springer
Web mail providers rely on users to “vote” to quickly and collaboratively identify spam messages. Unfortunately, spammers have begun to use bots to control large collections o...
243
click to vote
TARK
2009
Springer
16 years 2 months ago
2009
Springer
We study games in which the choices available to players are not fixed, and may change during the course of play. Specifically, we consider a model in which players may switch st...
218
click to vote
IPL
2010
15 years 4 months ago
2010
We introduce a game-theoretic model of diffusion of technologies, advertisements, or influence through a social network. The novelty in our model is that the players are intereste...
233
click to vote
ISORC
1999
IEEE
15 years 12 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...