2652 search results - page 339 / 531 » Privacy-preserving linear programming |
135
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Craig interpolation has become a versatile tool in formal verification, for instance to generate intermediate assertions for safety analysis of programs. Interpolants are typically...
147
click to vote
CCCG
2009
15 years 4 months ago
2009
Clarkson's algorithm is a two-staged randomized algorithm for solving linear programs, but it can also be applied to the more general LP-type problems which comprise a number...
123
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
This paper proposes several operational approaches for solving fair allocation problems in the context of multiagent optimization. These problems arise in various contexts such as ...
120
click to vote
FSTTCS
2008
Springer
15 years 4 months ago
2008
Springer
Tight connections between leafs languages and strings compressed via straight-line programs (SLPs) are established. It is shown that the compressed membership problem for a languag...
134
click to vote
GLOBECOM
2008
IEEE
15 years 3 months ago
2008
IEEE
It has been shown that network coding can lead to significant improvement in network capacity and reduction in power consumption for multicast traffic in wireless networks. In this...