27692 search results - page 179 / 5539 » Where is ... |
TAMC
2009
Springer
14 years 4 months ago
2009
Springer
We study a new model of computation called stream checking on graph problems where a space-limited verifier has to verify a proof sequentially (i.e., it reads the proof as a strea...
TARK
2009
Springer
14 years 4 months ago
2009
Springer
Brandenburger, Friedenberg, and Keisler provide an epistemic characterization of iterated admissibility (i.e., iterated deletion of weakly dominated strategies) where uncertainty ...
HASKELL
2009
ACM
14 years 4 months ago
2009
ACM
Data-type generic programming can be used to traverse and manipulate specific parts of large heterogeneously-typed tree structures, without the need for tedious boilerplate. Gene...
SBP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. A body of psychological research has examined the correspondence between a judge’s subjective probability of an event’s outcome and the event’s actual outcome. The ...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— We consider problems where multiple agents must cooperate to control their individual state so as to optimize a common objective while communicating with each other to exchange...