4719 search results - page 25 / 944 » Applications = Components GLoo |
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
In this paper, a new genetic mating scheme called Controlled Content Crossover (CCC) is proposed and applied to solve the optical network component allocation problem. In order to ...
ICIP
2006
IEEE
14 years 11 months ago
2006
IEEE
We investigate reducing the dimensionality of image sets by using principal component analysis on wavelet coefficients to maximize edge energy in the reduced dimension images. Lar...
ATVA
2008
Springer
13 years 12 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
JUCS
2006
13 years 9 months ago
2006
: In recent times, interest in Ambient Intelligence (or AmI) has increased considerably. One of the main challenges in the development of these systems is to improve their modulari...
ADAEUROPE
2005
Springer
14 years 3 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...