1252 search results - page 49 / 251 » Minimizing Learned Clauses |
118
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Reliable predictions of Cytotoxic T lymphocyte (CTL) epitopes are essential for rational vaccine design. Most importantly, they can minimize the experimental effort ne...
117
click to vote
OTM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Changes in the characterization of instances in digital content are one of the rationales to evolve ontologies that support a domain. These changes can have impacts on on...
131
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Disunification is an extension of unification to first-order formulae over syntactic equality atoms. Instead of considering only syntactic equality, I extend a disunifica...
133
click to vote
FROCOS
2009
Springer
15 years 7 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
111
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Many combinatorial problems arising in machine learning can be reduced to the problem of minimizing a submodular function. Submodular functions are a natural discrete analog of co...