3552 search results - page 672 / 711 » Proof theory in the abstract |
151
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...
140
click to vote
WIOPT
2011
IEEE
14 years 5 months ago
2011
IEEE
Abstract—This paper considers maximizing throughput utility in a multi-user network with partially observable Markov ON/OFF channels. Instantaneous channel states are never known...
150
click to vote
ESOP
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
104
click to vote
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
Recent work in communications and business modeling emphasizes a commitment-based view of interaction. By abstracting away from implementation-level details, commitments can poten...
132
click to vote
ATAL
2011
Springer
14 years 1 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...