Sciweavers

1094 search results - page 23 / 219
» On Computing Explanations in Argumentation
Sort
View
VMCAI
2005
Springer
15 years 4 months ago
On the Complexity of Error Explanation
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
Nirman Kumar, Viraj Kumar, Mahesh Viswanathan
ICPR
2006
IEEE
15 years 11 months ago
Rule Extraction from Support Vector Machines: Measuring the Explanation Capability Using the Area under the ROC Curve
Recently, the area of rule extraction from support vector machines (SVMs) has been explored. One important indication of the success of a rule extraction method is the performance...
Andrew P. Bradley, Nahla H. Barakat