Verifying the Precision of Diagnostic Algorithms

dc.contributor.authorSu, Xing yu
dc.contributor.authorGrastien, Alban
dc.contributor.editorSchaub, T.
dc.contributor.editorFriedrich, G.
dc.contributor.editorO'Sullivan, B.
dc.coverage.spatialPrague, Czech Republic
dc.date.accessioned2015-12-10T23:24:34Z
dc.date.createdAugust 18-22 2014
dc.date.issued2014
dc.date.updated2022-08-07T08:18:41Z
dc.description.abstractDiagnosis 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.isbn9781614994183
dc.identifier.urihttp://hdl.handle.net/1885/67248
dc.publisherIOS Press
dc.relation.ispartofseries21st European Conference on Artificial Intelligence ECAI 2014
dc.sourceECAI 2014
dc.source.urihttp://ebooks.iospress.nl/volumearticle/37047
dc.titleVerifying the Precision of Diagnostic Algorithms
dc.typeConference paper
local.bibliographicCitation.lastpage866
local.bibliographicCitation.startpage861
local.contributor.affiliationSu, Xing yu, College of Engineering and Computer Science, ANU
local.contributor.affiliationGrastien, Alban , College of Engineering and Computer Science, ANU
local.contributor.authoruidSu, Xing yu, u4383016
local.contributor.authoruidGrastien, Alban , a230022
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.description.refereedYes
local.identifier.absfor080105 - Expert Systems
local.identifier.absseo970108 - Expanding Knowledge in the Information and Computing Sciences
local.identifier.ariespublicationu4334215xPUB1423
local.identifier.doi10.3233/978-1-61499-419-0-861
local.identifier.scopusID2-s2.0-84923120720
local.identifier.thomsonID000349444700145
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
01_Su_Verifying_the_Precision_of_2014.pdf
Size:
181.44 KB
Format:
Adobe Portable Document Format