9166 search results - page 1588 / 1834 » A framework for comparing models of computation |
174
click to vote
SLP
1994
15 years 8 months ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
188
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper, we present a memetic algorithm with novel local optimizer hybridization strategy for constrained optimization. The developed MA consists of multiple cycles. In each ...
164
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
In evolutionary algorithms, the typical post-processing phase involves selection of the best-of-run individual, which becomes the final outcome of the evolutionary run. Trivial f...
172
click to vote
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper, a statistical learning approach to spatial context exploitation for semantic image analysis is presented. The proposed method constitutes an extension of the key pa...
163
click to vote
HPDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract-The analysis of data usage in a large set of real traces from a high-energy physics collaboration revealed the existence of an emergent grouping of files that we coined &q...