16404 search results - page 194 / 3281 » A set coverage problem |
193
click to vote
HIPEAC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Customizable processors augmented with application-specific Instruction Set Extensions (ISEs) have begun to gain traction in recent years. The most effective ISEs include...
181
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
In the paper, the global optimization problem of a multidimensional “black-box” function satisfying the Lipschitz condition over a hyperinterval with an unknown Lipschitz const...
180
click to vote
TVCG
2012
13 years 8 months ago
2012
—Image population analysis is the class of statistical methods that plays a central role in understanding the development, evolution and disease of a population. However, these t...
162
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
We study the parameterized complexity of detecting backdoor sets for instances of the propositional satisfiability problem (SAT) with respect to the polynomially solvable classes ...
138
click to vote
FOSSACS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...