1033 search results - page 100 / 207 » Stop the numbers game |
114
click to vote
WINE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Most existing market maker mechanisms for prediction markets are designed for events with a finite number of outcomes. All known attempts on designing market makers for f...
115
click to vote
SP
2006
IEEE
15 years 7 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
150
click to vote
INFOCOM
2012
IEEE
13 years 4 months ago
2012
IEEE
Cognitive radio (CR) techniques improve the spectrum utilization by exploiting temporarily-free frequency bands (i.e., in the time domain). The spectrum utilization can be boosted...
108
click to vote
ACMACE
2009
ACM
15 years 8 months ago
2009
ACM
Fantasy games, in which players compete to correctly predict realworld outcomes in sports, entertainment, and politics, have grown in popularity and now represent a significant po...
120
click to vote
LPAR
2004
Springer
15 years 7 months ago
2004
Springer
We propose a new parameter for the complexity of finite directed graphs which measures to what extent the cycles of the graph are intertwined. This measure, called entanglement, i...