1140 search results - page 158 / 228 » Progress on Certifying Algorithms |
ICIP
2007
IEEE
14 years 4 months ago
2007
IEEE
In the past years, the 3D display technology has become a booming branch of research with fast technical progress. Hence, the 3D conversion of already existing 2D video material i...
ICPP
2007
IEEE
14 years 4 months ago
2007
IEEE
The productivity of HPC system is determined not only by their performance, but also by their reliability. The conventional method to limit the impact of failures is checkpointing...
KBSE
2007
IEEE
14 years 4 months ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
RTSS
2007
IEEE
14 years 4 months ago
2007
IEEE
In the last years, a progressive migration from single processor chips to multi-core computing devices has taken place in the general-purpose and embedded system market. The devel...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
This paper proposes a framework for agent-based distributed machine learning and data mining based on (i) the exchange of meta-level descriptions of individual learning processes ...