3317 search results - page 78 / 664 » Strategies in Rigid-Variable Methods |
128
click to vote
HEURISTICS
2002
15 years 3 months ago
2002
This paper presents a heuristic algorithm for solving RCPSP/max, the resource constrained project scheduling problem with generalized precedence relations. The algorithm relies, a...
175
click to vote
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
116
Voted
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Hypervolume based multiobjective evolutionary algorithms (MOEA) nowadays seem to be the first choice when handling multiobjective optimization problems with many, i.e., at lea...
126
click to vote
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract- This paper presents a RWA strategy based on the stochastic estimation of the Effective Number of Available Wavelengths (ENAW) along interdomain paths. We propose an appro...
127
click to vote
APN
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Symbolic techniques based on BDDs (Binary Decision Diagrams) have emerged as an e cient strategy for the analysis of Petri nets. The existing techniques for the symbolic ...