2944 search results - page 305 / 589 » Improving Bound Propagation |
185
click to vote
ISSAC
2005
Springer
16 years 28 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...
230
click to vote
MFCS
2005
Springer
16 years 27 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...
162
click to vote
SOFSEM
2005
Springer
16 years 27 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...
170
click to vote
WOSP
2004
ACM
16 years 25 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...
198
click to vote
ICALP
2004
Springer
16 years 24 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 ...