3838 search results - page 213 / 768 » Techniques for Optimization of Net Algorithms |
124
click to vote
WEA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Extensions of the randomized tournaments techniques introduced in [6, 7] to approximate solutions of 1-median and diameter computation of finite subsets of general metri...
145
click to vote
CEC
2007
IEEE
15 years 6 months ago
2007
IEEE
— Computational complexity is a major challenge in evolutionary algorithms due to their need for repeated fitness function evaluations. Here, we aim to reduce number of fitness f...
150
click to vote
EVOW
2008
Springer
15 years 5 months ago
2008
Springer
We propose an alternative algorithm for solving continuous review inventory model problems for deteriorating items over a finite horizon. Our interest focuses on the case of time...
136
click to vote
CGO
2004
IEEE
15 years 8 months ago
2004
IEEE
Static Single Assignment form is an intermediate representation that uses instructions to merge values at each confluent point of the control flow graph. instructions are not ma...
171
click to vote
TPCD
1994
15 years 5 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...