1174 search results - page 68 / 235 » Derivation of Characteristic Formulae |
132
Voted
AAAI
2006
15 years 5 months ago
2006
We derive a recursive formula for expected utility values in imperfect- information game trees, and an imperfectinformation game tree search algorithm based on it. The formula and...
122
Voted
IJCAI
1993
15 years 5 months ago
1993
In this paper a framework is developed for measuring the complexities of deductions in an ab stract and computationally perspicuous man ner. As a notion of central importance ...
131
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
113
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
We analyze the performance of CDMA signature optimization with finite rate feedback. For a particular user, the receiver selects a signature vector from a signature codebook to avo...
144
click to vote
NA
2008
15 years 4 months ago
2008
(A) The celebrated Gaussian quadrature formula on finite intervals tells us that the Gauss nodes are the zeros of the unique solution of an extremal problem. We announce recent re...