13376 search results - page 159 / 2676 » Problem Solving with |
109
click to vote
CAV
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We present a new method for the generation of linear invariants which reduces the problem to a non-linear constraint solving problem. Our method, based on Farkas’ Lemma...
161
click to vote
GECCO
2009
Springer
15 years 1 months ago
2009
Springer
An iterated function f(x) is a function that when composed with itself, produces a given expression f(f(x))=g(x). Iterated functions are essential constructs in fractal theory and...
157
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
We first present a method, called Two-Phase Pareto Local Search, to find a good approximation of the efficient set of the biobjective traveling salesman problem. In the first p...
110
click to vote
AMC
2006
15 years 3 months ago
2006
A numerical method based on an integro-differential formulation and approximation by local interpolating functions is proposed for solving a one-dimensional parabolic partial diff...
321
click to vote
ICSE
2012
IEEE-ACM
13 years 5 months ago
2012
IEEE-ACM
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...