2746 search results - page 486 / 550 » Bisubmodular Function Minimization |
GECCO
2006
Springer
14 years 12 days ago
2006
Springer
This paper presents a new method for 3D cutting of geometrical space with application to airspace sectoring. This problem comes from the air traffic management but the proposed me...
GECCO
2006
Springer
14 years 12 days ago
2006
Springer
Our human body is well protected by antibodies from our biological immune system. This protection system matured over millions of years and has proven its functionality. In our re...
CAV
2001
Springer
14 years 12 days ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
GECCO
2000
Springer
14 years 10 days ago
2000
Springer
This paper presents a genetic algorithm based method to solve the capacity and routing assignment problem arising in the design of selfhealing networks using the Virtual Path (VP)...
HPCN
1995
Springer
14 years 9 days ago
1995
Springer
Abstract. We discuss the High Performance Fortran data parallel programming language as an aid to software engineering and as a tool for exploiting High Performance Computing syste...