6941 search results - page 486 / 1389 » Testing as a Certification Approach |
215
click to vote
MCS
2005
Springer
16 years 13 days ago
2005
Springer
We have previously introduced the Learn++ algorithm that provides surprisingly promising performance for incremental learning as well as data fusion applications. In this contribut...
180
click to vote
EAGC
2004
Springer
16 years 10 days ago
2004
Springer
A short overview of Grid infrastructure status monitoring is given followed by a discussion of key concepts for advanced status monitoring systems: passive information gathering ba...
167
click to vote
ECAI
2004
Springer
16 years 10 days ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
193
click to vote
EVOW
2004
Springer
16 years 9 days ago
2004
Springer
This paper introduces a new social metaheuristic for the Max-Cut problem applied to a weighted undirected graph. This problem consists in finding a partition of the nodes into two ...
181
click to vote
FORMATS
2004
Springer
16 years 9 days ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...