1414 search results - page 164 / 283 » Combining Intruder Theories |
180
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
We develop an algorithm for opponent modeling in large extensive-form games of imperfect information. It works by observing the opponent’s action frequencies and building an opp...
145
click to vote
PODC
2009
ACM
16 years 6 months ago
2009
ACM
d Abstract] Prosenjit Bose School of Computer Science Carleton University Ottawa, Canada jit@scs.carleton.ca Paz Carmi Dept. of Computer Science Ben-Gurion Univ. of the Negev Beer-...
145
click to vote
SMA
2009
ACM
16 years 15 days ago
2009
ACM
Over the last fifty years, there have been numerous efforts to develop from first principles a comprehensive discrete formulation of geometric physics, including Whitney’s ge...
161
click to vote
INFOCOM
2007
IEEE
16 years 9 days ago
2007
IEEE
—The implementation of distributed network utility maximization (NUM) algorithms hinges heavily on information feedback through message passing among network elements. In practic...
166
click to vote
TPHOL
2007
IEEE
16 years 8 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...