Sciweavers

1040 search results - page 76 / 208
» Controlling Aspect Reentrancy
Sort
View
109
Voted
ECAL
2005
Springer
15 years 6 months ago
Evolving Neural Mechanisms for an Iterated Discrimination Task: A Robot Based Model
This paper is about the design of an artificial neural network to control an autonomous robot that is required to iteratively solve a discrimination task based on time-dependent s...
Elio Tuci, Christos Ampatzis, Marco Dorigo
FROCOS
2005
Springer
15 years 6 months ago
A Complete Temporal and Spatial Logic for Distributed Systems
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
Dirk Pattinson, Bernhard Reus
109
Voted
GECCO
2005
Springer
142views Optimization» more  GECCO 2005»
15 years 6 months ago
Goal-oriented preservation of essential genetic information by offspring selection
This contribution proposes an enhanced and generic selection model for Genetic Algorithms (GAs) and Genetic Programming (GP) which is able to preserve the alleles which are part o...
Michael Affenzeller, Stefan Wagner 0002, Stephan M...
106
Voted
SIGCSE
1998
ACM
310views Education» more  SIGCSE 1998»
15 years 5 months ago
Traffic simulation: a case study for teaching object oriented design
act In teaching object oriented design, it is important for students to work on projects that use a variety of design patterns, interaction between objects, and provide the opportu...
Viera K. Proulx
110
Voted
ESOP
1998
Springer
15 years 5 months ago
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction
Abstract. We study the notion of binding-time analysis for logic programs. We formalise the unfolding aspect of an on-line partial deduction s a Prolog program. Using abstract inte...
Maurice Bruynooghe, Michael Leuschel, Konstantinos...