Sciweavers

175
Voted
COGSYS
2005
Springer
15 years 2 months ago
Natural Language Dialog with a Tutor System for Mathematical Proofs
Abstract. Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multi-disciplinary challenge that requires the interaction ...
Christoph Benzmüller, Helmut Horacek, Ivana K...
118
Voted
CP
2006
Springer
15 years 2 months ago
Distributed Stable Matching Problems with Ties and Incomplete Lists
We consider the Stable Marriage Problem and the Stable Roommates Problem in presence of ties and incomplete preference lists. They can be solved by centralized algorithms, but this...
Ismel Brito, Pedro Meseguer
95
Voted
CP
2006
Springer
15 years 2 months ago
Graph Properties Based Filtering
Abstract. This report presents a generic filtering scheme, based on the graph description of global constraints. This description is defined by a network of binary constraints and ...
Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey...
98
Voted
CEC
2005
IEEE
15 years 2 months ago
Multi-objective optimisation of the pump scheduling problem using SPEA2
Abstract- Significant operational cost and energy savings can be achieved by optimising the schedules of pumps, which pump water from source reservoirs to storage tanks, in Water ...
Manuel López-Ibáñez, T. Devi ...
109
Voted
CEC
2005
IEEE
15 years 2 months ago
A note on the population based incremental learning with infinite population size
In this paper, we study the dynamical properties of the population based incremental learning (PBIL) algorithm when it uses truncation, proportional, and Boltzmann selection schema...
Reza Rastegar, Mohammad Reza Meybodi
106
Voted
CEC
2005
IEEE
15 years 2 months ago
Graph composition in a graph grammar-based method for automata network evolution
The dynamics of neural and other automata networks are defined to a large extent by their topologies. Artificial evolution constitutes a practical means by which an optimal topolog...
Martin H. Luerssen, David M. W. Powers
133
Voted
CEC
2005
IEEE
15 years 2 months ago
Heterogeneous multiprocessor scheduling with differential evolution
The problem of scheduling a parallel program given by a Directed Acyclic Graph (DAG) of tasks is a well-studied area. We present a new approach which employs Differential Evolution...
Krzysztof Rzadca, Franciszek Seredynski
109
Voted
CEC
2005
IEEE
15 years 2 months ago
Making soccer kicks better: a study in particle swarm optimization and evolution strategies
Biomechanics is a science of examining the internal and external forces on the human body. In biomechanics, forward dynamics simulation models can be used to study optimal control ...
Namrata Khemka, Christian Jacob, Gerald Cole
108
Voted
CEC
2005
IEEE
15 years 2 months ago
On the use of rule-sharing in learning classifier system ensembles
This paper presents an investigation into exploiting the population-based nature of Learning Classifier Systems for their use within highly-parallel systems. In particular, the use...
Larry Bull, Matthew Studley, Anthony J. Bagnall, I...
122
Voted
CEC
2005
IEEE
15 years 2 months ago
Evolution and prioritization of survival strategies for a simulated robot in Xpilot
Simulated evolution by the use of Genetic Algorithms (GA) is presented as the solution to a twofaceted problem: the challenge for an autonomous agent to learn the reactive componen...
Gary B. Parker, Timothy S. Doherty, Matt Parker