Sciweavers

104
Voted
AIME
1997
Springer
15 years 4 months ago
Rule-Based Labeling of CT Head Image
A rule-based approach to the labeling of computed tomography CT head images containing intracerebral brain hemorrhage ICH is presented in this paper. Fully automated segmentat...
Dubravko Cosic, Sven Loncaric
74
Voted
AIIA
1997
Springer
15 years 4 months ago
Handling Continuous Data in Top-Down Induction of First-Order Rules
Donato Malerba, Floriana Esposito, Giovanni Semera...
AIIA
1997
Springer
15 years 4 months ago
Introducing Abduction into (Extensional) Inductive Logic Programming Systems
We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is possible to learn an abductive logic program starting f...
Evelina Lamma, Paola Mello, Michela Milano, Fabriz...
70
Voted
AE
1997
Springer
15 years 4 months ago
Application of Evolutionary Algorithms to Protein Folding Prediction
Antonio Piccolboni, Giancarlo Mauri
82
Voted
AE
1997
Springer
15 years 4 months ago
An Analysis of Punctuated Equilibria in Simple Genetic Algorithms
In the running of a genetic algorithm, the population is liable to be con ned in the local optimum, that is the metastable state, making an equilibrium. It is known that, after a l...
Sang-Yeop Oh, Hyunsoo Yoon
AE
1997
Springer
15 years 4 months ago
Adaptation on the Evolutionary Time Scale: A Working Hypothesis and Basic Experiments
In the pertinent literature, an ongoing discussion can be found about whether evolutionary algorithms are better suited for optimization or adaptation. Unfortunately, the pertinent...
Ralf Salomon, Peter Eggenberger
93
Voted
AE
1997
Springer
15 years 4 months ago
Asymptotical Convergence Rates of Simple Evolutionary Algorithms under Factorizing Mutation Distributions
Abstract. The standard choice for mutating an individual of an evolutionary algorithm with continuous variables is the normal distribution. It is shown that there is a broad class ...
Günter Rudolph
121
Voted
AGP
1996
IEEE
15 years 4 months ago
Modular Analysis of Suspension Free cc Programs
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
Enea Zaffanella
66
Voted
AGP
1996
IEEE
15 years 4 months ago
On Termination of Constraint Logic Programs
Salvatore Ruggieri