2905 search results - page 229 / 581 » Formal Memetic Algorithms |
116
Voted
ISSS
2000
IEEE
15 years 2 months ago
2000
IEEE
One important part of a HW/SW codesign system is the scheduler which is needed in order to determine if a given HW/SW partitioning is suitable for a given application. In this pap...
76
Voted
AAAI
2007
15 years 1 months ago
2007
We describe how a physical robot can learn about objects from its own autonomous experience in the continuous world. The robot identifies statistical regularities that allow it t...
AIPR
2008
IEEE
15 years 28 days ago
2008
IEEE
The formalism of anomalous change detection, which was developed for finding unusual changes in pairs of images, is extended to sequences of more than two images. Extended algorith...
100
Voted
AISC
2008
Springer
15 years 28 days ago
2008
Springer
We use higher-order logic to verify a quantifier elimination procedure for linear arithmetic over ordered fields, where the coefficients of variables are multivariate polynomials o...
ECAI
2006
Springer
15 years 26 days ago
2006
Springer
We develop a criterion for coalition formation among goal-directed agents, the indecomposable do-ut-des property. The indecomposable do-ut-des property refines the do-ut-des proper...