472 search results - page 13 / 95 » Symbolic range propagation |
96
Voted
SCAM
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is form...
135
click to vote
EC
2010
14 years 10 months ago
2010
Estimation of distribution algorithms (EDAs) that use marginal product model factorizations have been widely applied to a broad range of, mainly binary, optimization problems. In ...
108
click to vote
NIPS
2008
15 years 2 months ago
2008
We show that an important and computationally challenging solution space feature of the graph coloring problem (COL), namely the number of clusters of solutions, can be accurately...
102
Voted
CONSTRAINTS
2008
15 years 22 days ago
2008
When solving systems of nonlinear equations with interval constraint methods, it has often been observed that many calls to contracting operators do not participate actively to th...
100
click to vote
CI
2004
15 years 15 days ago
2004
Soft constraints are a generalization of classical constraints, which allow for the description of preferences rather than strict requirements. In soft constraints, constraints and...