Sciweavers

COGSYS
2005
Springer
13 years 10 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...
CP
2006
Springer
13 years 10 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
CP
2006
Springer
13 years 10 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...
CEC
2005
IEEE
13 years 10 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 ...
CEC
2005
IEEE
13 years 10 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
CEC
2005
IEEE
13 years 10 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
CEC
2005
IEEE
13 years 10 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
CEC
2005
IEEE
13 years 10 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
CEC
2005
IEEE
13 years 10 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...
CEC
2005
IEEE
13 years 10 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