9842 search results - page 1845 / 1969 » The Complexity of the Matching-Cut Problem |
136
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
126
Voted
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. To improve the efficiency of the currently known evolutionary algorithms, we have proposed two complementary efficiency speed-up strategies in our previous research work ...
136
click to vote
ICCS
2003
Springer
15 years 10 months ago
2003
Springer
Self-Adapting Numerical Software (SANS) systems aim to bridge the knowledge gap that exists between the expertise of domain scientists, and the know-how that is needed to fulfill...
146
Voted
ICCSA
2003
Springer
15 years 10 months ago
2003
Springer
A scene-adaptive rate control algorithm with an enhanced frame skipping is proposed for low bit rate video coding. Most existing rate control algorithms for low bit rate video focu...
114
click to vote
ICES
2003
Springer
15 years 10 months ago
2003
Springer
It is clear to all, after a moments thought, that nature has much we might be inspired by when designing our systems, for example: robustness, adaptability and complexity, to name ...