793 search results - page 105 / 159 » Argumentation and standards of proof |
TCS
2008
13 years 11 months ago
2008
We investigate the role of the information available to the players on the outcome of the cops and robbers game. This game takes place on a graph and players move along the edges ...
ASE
2004
13 years 10 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
TIP
2002
13 years 10 months ago
2002
Abstract--We address the problem of computing a local orientation map in a digital image. We show that standard image gray level quantization causes a strong bias in the repartitio...
SAGT
2010
Springer
13 years 9 months ago
2010
Springer
Can learning algorithms find a Nash equilibrium? This is a natural question for several reasons. Learning algorithms resemble the behavior of players in many naturally arising gam...
GLOBECOM
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract--The batch resolution problem consists in arbitrating the channel access of a group of nodes in a wireless network in order to collect a single packet from each node in th...