ECAI
2004
Springer
14 years 10 months ago
2004
Springer
Abstract. Previously it has been shown that the process of programming a cardiac pacemaker can be described in terms of the theory of diagnosis. A set-theoretical framework of diag...