Sciweavers

12659 search results - page 2125 / 2532
» The distributed breakout algorithms
Sort
View
ESOP
2007
Springer
16 years 1 months ago
Small Witnesses for Abstract Interpretation-Based Proofs
tnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, F-35042 R...
Frédéric Besson, Thomas P. Jensen, T...
EUROPAR
2007
Springer
16 years 1 months ago
Towards Real-Time Compression of Hyperspectral Images Using Virtex-II FPGAs
Abstract. Hyperspectral imagery is a new type of high-dimensional image data which is now used in many Earth-based and planetary exploration applications. Many efforts have been d...
Antonio Plaza
EUROPAR
2007
Springer
16 years 1 months ago
Surrendering Autonomy: Can Cooperative Mobility Help?
In this paper, we develop a Cooperative Mobility Model that captures new salient features of collaborative and mission-oriented MANETs. In particular, the cost-benefit framework o...
Ghassen Ben Brahim, Bilal Khan, Ala I. Al-Fuqaha, ...
GECCO
2007
Springer
149views Optimization» more  GECCO 2007»
16 years 1 months ago
Environment as a spatial constraint on the growth of structural form
We explore the use of the developmental environment as a spatial constraint on a model of Artificial Embryogeny, applied to the growth of structural forms. A Deva model is used t...
Taras Kowaliw, Peter Grogono, Nawwaf N. Kharma
GECCO
2007
Springer
176views Optimization» more  GECCO 2007»
16 years 1 months ago
The effect of learning on life history evolution
A series of evolutionary neural network simulations are presented which explore the hypothesis that learning factors can result in the evolution of long periods of parental protec...
John A. Bullinaria
« Prev « First page 2125 / 2532 Last » Next »