283 search results - page 52 / 57 » Solving Over-Constrained Problems with SAT |
126
click to vote
FROCOS
2005
Springer
15 years 11 months ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
158
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
Estimation of Distribution Algorithms (EDAs) are a class of evolutionary algorithms that use machine learning techniques to solve optimization problems. Machine learning is used t...
160
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...
157
click to vote
ICCV
2007
IEEE
16 years 1 days ago
2007
IEEE
This paper shows that structure from motion is NP-hard for most sensible cost functions when missing data is allowed. The result provides a fundamental limitation of what is possi...
152
click to vote
CONSTRAINTS
2008
15 years 5 months ago
2008
Abstract. A very challenging problem in the genetics domain is to infer haplotypes from genotypes. This process is expected to identify genes affecting health, disease and response...