Applications of Evolutionary Computing
EvoWorkshops 2003: EvoBIO, EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM Essex, UK, April 14–16, 2003 Proceedings
Page
%P
81 Result(s)
within
Elena Marchiori
English
-
Chapter and Conference Paper
A theory of first-order built-in's of prolog
We provide here a framework for studying Prolog programs with various built-in's that include arithmetic operations, and such metalogical relations like var and ground. To this end we propose a new, declarative s...
-
Chapter and Conference Paper
A logic for variable aliasing in logic programs
This paper introduces a logic for a class of properties — in particular variable aliasing — used in static analysis of logic programs. The logic is shown to be sound, complete and decidable. Moreover, it is il...
-
Article
A declarative approach for first-order built-in's of Prolog
We provide here a framework for studying Prolog programs with various built-in's that include arithmetic operations, and such metalogical relations likevar andground. To this end we propose a new, declarative sem...
-
Article
Reasoning about Prolog programs: From modes through types to assertions
We provide here a systematic comparative study of the relative strength and expressive power of a number of methods for program analysis of Prolog. Among others we show that these methods can be arranged in th...
-
Chapter and Conference Paper
A dataflow semantics for constraint logic programs
This paper introduces an alternative operational model for constraint logic programs. First, a transition system is introduced, which is used to define a trace semantics T. Next, an equivalent fixpoint semantics
-
Chapter and Conference Paper
On termination of constraint logic programs
This paper introduces a necessary and sufficient condition for termination of constraint logic programs. The method is based on assigning a dataflow graph to a program, whose nodes are the program points and w...
-
Chapter and Conference Paper
Prime factorizations of abstract domains using first-order logic
A methodology is introduced based on first-order logic, for the design and decomposition of abstract domains for abstract interpretation. First, an assertion language is chosen that describes the properties of...
-
Chapter and Conference Paper
Mining Clusters with Association Rules
In this paper we propose a method for extracting clusters in a population of customers, where the only information available is the list of products bought by the individual clients. We use association rules h...
-
Chapter and Conference Paper
An Evolutionary Algorithm for Large Scale Set Covering Problems with Application to Airline Crew Scheduling
The set covering problem is a paradigmatic NP-hard combinatorial optimization problem which is used as model in relevant applications, in particular crew scheduling in airline and mass-transit companies. This ...
-
Chapter and Conference Paper
Genetic, Iterated and Multistart Local Search for the Maximum Clique Problem
This paper compares experimentally three heuristic algorithms for the maximum clique problem obtained as instances of an evolutionary algorithm scheme. The algorithms use three popular heuristic methods for co...
-
Book and Conference Proceedings
-
Chapter and Conference Paper
Chromosomal Breakpoint Detection in Human Cancer
Chromosomal aberrations are differences in DNA sequence copy number of chromosome regions1. These differences may be crucial genetic events in the development and progression of human cancers. Array Comparative G...
-
Chapter and Conference Paper
A Method for Handling Numerical Attributes in GA-Based Inductive Concept Learners
This paper proposes a method for dealing with numerical attributes in inductive concept learning systems based on genetic algorithms. The method uses constraints for restricting the range of values of the attr...
-
Chapter and Conference Paper
Non-universal Suffrage Selection Operators Favor Population Diversity in Genetic Algorithms
State-of-the-art concept learning systems based on genetic algorithms evolve a redundant population of individuals, where an individual is a partial solution that covers some instances of the learning set. In ...
-
Book and Conference Proceedings
Applications of Evolutionary Computing
EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoISAP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004. Proceedings
-
Chapter and Conference Paper
Ensemble Learning with Evolutionary Computation: Application to Feature Ranking
Exploiting the diversity of hypotheses produced by evolutionary learning, a new ensemble approach for Feature Selection is presented, aggregating the feature rankings extracted from the hypotheses. A statistic...
-
Chapter and Conference Paper
Evolutionary Algorithms with On-the-Fly Population Size Adjustment
In this paper we evaluate on-the-fly population (re)sizing mechanisms for evolutionary algorithms (EAs). Evaluation is done by an experimental comparison, where the contestants are various existing methods and...
-
Chapter and Conference Paper
Analysis of Proteomic Pattern Data for Cancer Detection
In this paper we analyze two proteomic pattern datasets containing measurements from ovarian and prostate cancer samples. In particular, a linear and a quadratic support vector machine (SVM) are applied to the...
-
Chapter and Conference Paper
Ensemble Feature Ranking
A crucial issue for Machine Learning and Data Mining is Feature Selection, selecting the relevant features in order to focus the learning search. A relaxed setting for Feature Selection is known as Feature Ran...
-
Chapter and Conference Paper
Bayesian Learning with Local Support Vector Machines for Cancer Classification with Gene Expression Data
This paper describes a novel method for improving classification of support vector machines (SVM) with recursive feature selection (SVM-RFE) when applied to cancer classification with gene expression data. The...
