Sciweavers

1168 search results - page 74 / 234
» cases 2000
Sort
View
AIMSA
2000
Springer
14 years 1 months ago
Classification with Belief Decision Trees
Abstract. Decision trees are considered as an efficient technique to express classification knowledge and to use it. However, their most standard algorithms do not deal with uncert...
Zied Elouedi, Khaled Mellouli, Philippe Smets
CL
2000
Springer
14 years 1 months ago
Certification of Compiler Optimizations Using Kleene Algebra with Tests
We use Kleene algebra with tests to verify a wide assortment of common compiler optimizations, including dead code elimination, common subexpression elimination, copy propagation,...
Dexter Kozen, Maria-Christina Patron
GECCO
2000
Springer
141views Optimization» more  GECCO 2000»
14 years 1 months ago
A steady-state evolutionary algorithm for the job shop problem
This paper describes an evolutionary search scheduling algorithm (ESSA) for the job shop scheduling problem (JSSP). If no specific knowledge of the problem is included in the EA t...
Patrick van Bael, Dirk Devogelaere, Marcel Rijckae...
GECCO
2000
Springer
101views Optimization» more  GECCO 2000»
14 years 1 months ago
Using Genetic Algorithms with Asexual Transposition
Traditional Genetic Algorithms (GA) use crossover and mutation as the main genetic operators to achieve population diversity. Previous work using a biologically inspired genetic o...
Anabela Simões, Ernesto Costa
JMLC
2000
Springer
14 years 1 months ago
Modularisation of Software Configuration Management
The principle of modularisation is one of the main techniques that software designers use to tame the complexity of programming. A software project, however, is complex in many oth...
Henrik Bærbak Christensen