6 records found
1
Empirical Evaluation of Diagnostic Algorithm Performance Using a Generic Framework
Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vice Versa
Automated Redesign with the General Redesign Engine
First International Diagnosis Competition - DXC'09
Towards a Framework for Evaluating and Comparing Diagnosis Algorithms