1734 search results - page 88 / 347 » its 2000 |
COMCOM
2000
14 years 9 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
CORR
2000
Springer
14 years 9 months ago
2000
Springer
Abstract. We investigate the evolutionary processes behind the development and optimization of multiple threads of execution in digital organisms using the avida platform, a softwa...
RSA
2000
14 years 9 months ago
2000
The choice number ch(G) of a graph G = (V, E) is the minimum number k such that for every assignment of a list S(v) of at least k colors to each vertex v V , there is a proper ve...
SIAMAM
2000
14 years 9 months ago
2000
We examine sequential spatial pattern formation in a tissue interaction model for skin organ morphogenesis. Pattern formation occurs as a front sweeps across the domain leaving in ...
IJON
2008
14 years 8 months ago
2008
BIC criterion is widely used by the neural-network community for model selection tasks, although its convergence properties are not always theoretically established. In this paper...