Sciweavers

3333 search results - page 495 / 667
» Abstract Proof Search
Sort
View
EUROGP
2006
Springer
136views Optimization» more  EUROGP 2006»
15 years 9 months ago
Using Subtree Crossover Distance to Investigate Genetic Programming Dynamics
Abstract. To analyse various properties of the search process of genetic programming it is useful to quantify the distance between two individuals. Using operator-based distance me...
Leonardo Vanneschi, Steven Gustafson, Giancarlo Ma...
EUROPAR
2006
Springer
15 years 9 months ago
Model-Based Performance Diagnosis of Master-Worker Parallel Computations
Parallel performance tuning naturally involves a diagnosis process to locate and explain sources of program inefficiency. Proposed is an approach that exploits parallel computation...
Li Li, Allen D. Malony
EVOW
2006
Springer
15 years 9 months ago
The Core Concept for the Multidimensional Knapsack Problem
Abstract. We present the newly developed core concept for the Multidimensional Knapsack Problem (MKP) which is an extension of the classical concept for the one-dimensional case. T...
Jakob Puchinger, Günther R. Raidl, Ulrich Pfe...
ESAW
2000
Springer
15 years 9 months ago
Combining Software Components and Mobile Agents
We present a first approach that combines the mobile agent and the compositional paradigms into a new agent-based compositional model. The aim of this work is to explore the capabi...
Mercedes Amor, Mónica Pinto, Lidia Fuentes,...
PRICAI
2000
Springer
15 years 9 months ago
Functional Understanding Based on an Ontology of Functional Concepts
Abstract. This article discusses automatic identifications of functional structures of artifacts from given behavioral models of components and their connection information (called...
Yoshinobu Kitamura, Toshinobu Sano, Riichiro Mizog...