1132 search results - page 105 / 227 » Upper and lower Ramsey bounds in bounded arithmetic |
145
click to vote
UAI
2004
15 years 7 months ago
2004
In this paper, we propose a new lower approximation scheme for POMDP with discounted and average cost criterion. The approximating functions are determined by their values at a fi...
148
click to vote
ICC
2007
IEEE
16 years 22 days ago
2007
IEEE
— Relaying diversity is a key technology to increase capacity in wireless networks. In this paper, the capacity of a single source-destination wireless channel, aided by a set of...
166
click to vote
SAS
2007
Springer
16 years 16 days ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
142
click to vote
ALGORITHMICA
2008
15 years 6 months ago
2008
In this paper we consider the following question: how many vertices of the discrete torus must be deleted so that no topologically nontrivial cycles remain? We look at two differe...
157
click to vote
JGT
2008
15 years 6 months ago
2008
A homomorphism from an oriented graph G to an oriented graph H is a mapping from the set of vertices of G to the set of vertices of H such that ----(u)(v) is an arc in H whenever...