13603 search results - page 2418 / 2721 » On the Complexity of Computing Treelength |
156
click to vote
EOR
2007
15 years 6 months ago
2007
One of the key challenges of current day electronic procurement systems is to enable procurement decisions transcend beyond a single attribute such as cost. Consequently, multiatt...
184
click to vote
KES
2006
Springer
15 years 6 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...
178
click to vote
KI
2006
Springer
15 years 6 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...
171
click to vote
LOGCOM
2006
15 years 6 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 ...
196
Voted
NN
2008
Springer
15 years 6 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...