8009 search results - page 153 / 1602 » cans 2005 |
136
click to vote
CSL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. It has been proved by Niwi´nski and Walukiewicz that a deterministic tree language is either Π1 1 -complete or it is on the level Π0 3 of the Borel hierarchy, and that...
121
click to vote
DSOM
2005
Springer
15 years 10 months ago
2005
Springer
Presently, there is no satisfactory model for dealing with political autonomy of agents in policy based management. A theory of atomic policy units called ‘promises’ is therefo...
146
click to vote
DSSCV
2005
Springer
15 years 10 months ago
2005
Springer
The geometry of “empty” scale space is investigated. By virtue of the proposed geometric axioms the generating PDE, the linear isotropic heat equation, can be presented in cova...
119
click to vote
ECAL
2005
Springer
15 years 10 months ago
2005
Springer
Contrary to indications made by prior researchers, digital logic circuits designed by artificial evolution to perform binary arithmetic tasks can generalise on inputs which were n...
119
click to vote
ECAL
2005
Springer
15 years 10 months ago
2005
Springer
The concept of modularity appears to be crucial for many questions in the field of Artificial Life research. However, there have not been many quantitative measures for modularit...