3600 search results - page 428 / 720 » The settling-time reducibility ordering |
190
click to vote
DBPL
2007
Springer
16 years 29 days ago
2007
Springer
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
176
click to vote
ECOOP
2007
Springer
16 years 29 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to...
194
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
This paper presents two evolutionary algorithms, ECGA and BOA, applied to constructing stock market trading expertise, which is built on the basis of a set of specific trading ru...
160
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
In this paper, a model based on genetic algorithms for protein folding prediction is proposed. The most important features of the proposed approach are: i) Heuristic secondary str...
163
click to vote
GPC
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Geoscience analysis is currently limited by cumbersome access and manipulation of large datasets from remote sources. Due to their data-heavy and compute-light nature, th...