Verifying the Precision of Diagnostic Algorithms
| dc.contributor.author | Su, Xing yu | |
| dc.contributor.author | Grastien, Alban | |
| dc.contributor.editor | Schaub, T. | |
| dc.contributor.editor | Friedrich, G. | |
| dc.contributor.editor | O'Sullivan, B. | |
| dc.coverage.spatial | Prague, Czech Republic | |
| dc.date.accessioned | 2015-12-10T23:24:34Z | |
| dc.date.created | August 18-22 2014 | |
| dc.date.issued | 2014 | |
| dc.date.updated | 2022-08-07T08:18:41Z | |
| dc.description.abstract | Diagnosis of discrete event systems requires to decide whether the system model allows for certain types of executions to take place. Because this problem is hard, incomplete yet faster algorithms may be needed. This however can lead to a loss of precisio | |
| dc.identifier.isbn | 9781614994183 | |
| dc.identifier.uri | http://hdl.handle.net/1885/67248 | |
| dc.publisher | IOS Press | |
| dc.relation.ispartofseries | 21st European Conference on Artificial Intelligence ECAI 2014 | |
| dc.source | ECAI 2014 | |
| dc.source.uri | http://ebooks.iospress.nl/volumearticle/37047 | |
| dc.title | Verifying the Precision of Diagnostic Algorithms | |
| dc.type | Conference paper | |
| local.bibliographicCitation.lastpage | 866 | |
| local.bibliographicCitation.startpage | 861 | |
| local.contributor.affiliation | Su, Xing yu, College of Engineering and Computer Science, ANU | |
| local.contributor.affiliation | Grastien, Alban , College of Engineering and Computer Science, ANU | |
| local.contributor.authoruid | Su, Xing yu, u4383016 | |
| local.contributor.authoruid | Grastien, Alban , a230022 | |
| local.description.embargo | 2037-12-31 | |
| local.description.notes | Imported from ARIES | |
| local.description.refereed | Yes | |
| local.identifier.absfor | 080105 - Expert Systems | |
| local.identifier.absseo | 970108 - Expanding Knowledge in the Information and Computing Sciences | |
| local.identifier.ariespublication | u4334215xPUB1423 | |
| local.identifier.doi | 10.3233/978-1-61499-419-0-861 | |
| local.identifier.scopusID | 2-s2.0-84923120720 | |
| local.identifier.thomsonID | 000349444700145 | |
| local.type.status | Published Version |
Downloads
Original bundle
1 - 1 of 1
Loading...
- Name:
- 01_Su_Verifying_the_Precision_of_2014.pdf
- Size:
- 181.44 KB
- Format:
- Adobe Portable Document Format