2944 search results - page 305 / 589 » Improving Bound Propagation |
169
click to vote
ISSAC
2005
Springer
16 years 6 days ago
2005
Springer
We study the multiplication of multivariate power series. We show that over large enough fields, the bilinear complexity of the product modulo a monomial ideal M is bounded by th...
214
click to vote
MFCS
2005
Springer
16 years 5 days ago
2005
Springer
We study simple greedy approximation algorithms for general class of integer packing problems. We provide a novel analysis based on the duality theory of linear programming. This e...
147
click to vote
SOFSEM
2005
Springer
16 years 5 days ago
2005
Springer
We give a new characterization of those languages that are definable in fragments of LTL where the nesting depths of X and U modalities are bounded by given constants. This brings...
151
click to vote
WOSP
2004
ACM
16 years 3 days ago
2004
ACM
Designs for distributed systems must consider the possibility that failures will arise and must adopt specific failure detection strategies. We describe and analyze a self-regulat...
177
click to vote
ICALP
2004
Springer
16 years 2 days 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 ...