Sciweavers

AE
2003
Springer
14 years 29 days ago
Modeling Selection Intensity for Linear Cellular Evolutionary Algorithms
We present quantitative models for the selection pressure on cellular evolutionary algorithms structured as a ring of cells. We obtain results for synchronous and asynchronous cell...
Mario Giacobini, Marco Tomassini, Andrea Tettamanz...
AE
2003
Springer
14 years 29 days ago
Co-evolution in Artificial Ecosystems: Competition and Cooperation Using Allellopathy
This paper presents simulations of long-term co-evolution in simple artificial ecosystems composed of different plant species. Artificial plants and plant communities, evolving in ...
Claude Lattaud
AE
2003
Springer
14 years 29 days ago
Optimising Graph Partitions Using Parallel Evolution
Abstract. The graph partitioning problem consists of dividing the vertices of a graph into a set of balanced parts, such that the number of edges connecting vertices in different ...
Raul Baños, Consolación Gil, Julio O...
AE
2003
Springer
14 years 29 days ago
An Agent Model for First Price and Second Price Private Value Auctions
The aim of this research is to develop an adaptive agent based model of auction scenarios commonly used in auction theory to help understand how competitors in auctions reach equil...
Anthony J. Bagnall, Iain Toft
AE
2003
Springer
14 years 29 days ago
The Evolutionary Control Methodology: An Overview
The ideas proposed in this work are aimed to describe a novel approach based on artificial life (alife) environments for on-line adaptive optimisation of dynamical systems. The bas...
Mauro Annunziato, Ilaria Bertini, M. Lucchetti, Al...
SIGDOC
2003
ACM
14 years 29 days ago
Using AI techniques to aid hypermedia design
Artificial intelligence techniques have found a number of applications in hypermedia, mostly in two specific areas, user interface, particularly adaptive ones and information sear...
Elena I. Gaura, Robert M. Newman
GRAPHITE
2003
ACM
14 years 29 days ago
A 3D robot simulation for education
This paper describes the work-in-progress of creating an artificial 3D environment and robot, suitable for educational simulation. A visual 3D vehicle robot, equipped with a monoc...
Tim L. Dunn, Aster Wardhani
TPHOL
2003
IEEE
14 years 1 months ago
First Order Logic with Domain Conditions
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
Freek Wiedijk, Jan Zwanenburg