2647 search results - page 338 / 530 » Solving Term Inequalities |
163
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Given a set of strings S of equal lengths over an alphabet Σ, the closest string problem seeks a string over Σ whose maximum Hamming distance to any of the given strings is as s...
171
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
The performance of a Multiobjective Evolutionary Algorithm (MOEA) is crucially dependent on the parameter setting of the operators. The most desired control of such parameters pre...
199
click to vote
AUSSOIS
2001
Springer
15 years 11 months ago
2001
Springer
In recent years the branch-and-cut method, a synthesis of the classical branch-and-bound and cutting plane methods, has proven to be a highly successful approach to solving large-s...
195
click to vote
ICLP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
158
click to vote
MICCAI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. 3D models of coronary arteries is a valuable help for the planning and simulation of minimally-invasive cardiac surgery, and may be used in per-operative augmented realit...