Institutional Repository
| an algorithm for diagnosing system with structured description | |
| Luan SM; Dai GZ | |
| 2003 | |
| Conference Name | International Conference on Computational Science and Its Applications (ICCSA 2003) |
| Pages | 695-704 |
| Conference Date | MAY 18-21, |
| Conference Place | MONTREAL, CANADA |
| Indexed Type | sci ; istp |
| Publish Place | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |
| Publisher | COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2003, PT 2, PROCEEDINGS |
| ISSN | 0302-9743 |
| ISBN | 3-540-40161-X |
| Department | Chinese Acad Sci, Inst Software, Beijing 100864, Peoples R China. |
| English Abstract | The model-based approach to diagnosis is one of the important approach to the system diagnosis, and the main problem for the approach is that how to generate the diagnoses. In this paper, an algorithm for computing all minimal conflicts using |
| Sponsorship | CERCA, IBM Canada, IBM, United States, Heuchera Technol, Pallas, Queens Univ Belfast, SHARCNET, Soc Ind & Appl Math, Springer Verlag |
| Language | 英语 |
| WOS ID | WOS:000184327300076 |
| Citation statistics | |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13240 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Luan SM,Dai GZ. an algorithm for diagnosing system with structured description[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2003, PT 2, PROCEEDINGS,2003:695-704. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| an algorithm for dia（142KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment