14774 search results - page 2580 / 2955 » Computational complexity and evolutionary computation |
210
click to vote
KES
2006
Springer
15 years 7 months ago
2006
Springer
Training of operators has become an important problem to be faced by power systems: updating knowledge and skills. An operator must comprehend the physical operation of the process...
209
click to vote
KI
2006
Springer
15 years 7 months ago
2006
Springer
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
199
click to vote
LOGCOM
2006
15 years 7 months ago
2006
The Alternating-time Temporal Logic (ATL) of Alur, Henzinger, and Kupferman is being increasingly widely applied in the specification and verification of open distributed systems ...
228
click to vote
NN
2008
Springer
15 years 7 months ago
2008
Springer
dely acknowledged that categorically organized abstract knowledge plays a significant role in high-order human cognition. Yet, there are many unknown issues about the nature of ho...
224
click to vote
FGCS
2007
15 years 7 months ago
2007
The UK Department of Trade and Industry (DTI) funded BRIDGES project (Biomedical Research Informatics Delivered by Grid Enabled Services) has developed a Grid infrastructure to su...