2976 search results - page 437 / 596 » On the bounded integer programming |
127
click to vote
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
124
Voted
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We define and study two versions of the bipartite matching problem in the framework of two-stage stochastic optimization with recourse. In one version the uncertainty is...
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— This paper studies the effect of communicationlink weighting schemes and long-range connections in speeding convergence to consensus on the average of the inputs to age...
110
click to vote
FSTTCS
2004
Springer
15 years 7 months ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
108
click to vote
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We introduce the notion of coordination mechanisms to improve the performance in systems with independent selfish and noncolluding agents. The quality of a coordination ...