1814 search results - page 180 / 363 » Improved Results on Geometric Hitting Set Problems |
156
click to vote
SAT
2007
Springer
16 years 19 days ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
174
click to vote
DCC
2001
IEEE
16 years 6 months ago
2001
IEEE
We describe several cryptographic schemes in quadratic function fields of odd characteristic. In both the real and the imaginary representation of such a field, we present a Diffi...
281
click to vote
ICDE
2003
IEEE
16 years 8 months ago
2003
IEEE
Clustering of large data bases is an important research area with a large variety of applications in the data base context. Missing in most of the research efforts are means for g...
209
click to vote
TIP
2010
2010
Automatic Parameter Selection for Denoising Algorithms Using a No-Reference Measure of Image Content
15 years 1 months ago
Across the field of inverse problems in image and video processing, nearly all algorithms have various parameters which need to be set in order to yield good results. In practice, ...
169
click to vote
SODA
2012
ACM
13 years 9 months ago
2012
ACM
We consider the design of strategyproof cost-sharing mechanisms. We give two simple, but extremely versatile, black-box reductions, that in combination reduce the cost-sharing mec...