3250 search results - page 312 / 650 » An Algorithm to Solve a Linear Program |
147
click to vote
NIPS
2008
15 years 8 months ago
2008
A novel center-based clustering algorithm is proposed in this paper. We first formulate clustering as an NP-hard linear integer program and we then use linear programming and the ...
178
click to vote
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
We prove that QIP(2), the class of problems having two-message quantum interactive proof systems, is a subset of PSPACE. This relationship is obtained by means of an efficient pa...
179
click to vote
ATVA
2010
Springer
15 years 6 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
154
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Explanations are a technique for reasoning about constraint propagation, which have been applied in many learning, backjumping and user-interaction algorithms for constraint progra...
183
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
One of the key problems of restoring a degraded image from motion blur is the estimation of the unknown shiftinvariant linear blur filter. Several algorithms have been proposed ut...