16404 search results - page 194 / 3281 » A set coverage problem |
155
Voted
HIPEAC
2010
Springer
15 years 5 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...
145
Voted
CORR
2011
Springer
14 years 10 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...
140
Voted
TVCG
2012
13 years 6 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...
122
Voted
SAT
2004
Springer
15 years 9 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 ...
105
Voted
FOSSACS
2007
Springer
15 years 9 months 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 ...