2137 search results - page 325 / 428 » Proving Abstract Non-interference |
106
click to vote
EPIA
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. One of the most influential factors in the quality of the solutions found by an evolutionary algorithm is the appropriateness of the fitness function. Specifically in ...
117
Voted
ESAW
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Design patterns already proved successful in lowering the development time and number of errors of object-oriented software; now, they are, candidate to play a similar ro...
123
click to vote
FCT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. In the paper we present a purely logical approach to estimating computational complexity of potentially intractable problems. The approach is based on descriptive complex...
126
click to vote
FSTTCS
2003
Springer
15 years 7 months ago
2003
Springer
Computational genomics involves comparing sequences based on “similarity” for detecting evolutionary and functional relationships. Until very recently, available portions of th...
120
click to vote
GECCO
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper introduces a modified PSO, Non-dominated Sorting Particle Swarm Optimizer (NSPSO), for better multiobjective optimization. NSPSO extends the basic form of PSO...