10 search results - page 2 / 2 » Causes and explanations in the structural-model approach: Tr... |
SPIN
2012
Springer
11 years 7 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
SIGMOD
2011
ACM
12 years 8 months ago
2011
ACM
A surprising query result is often an indication of errors in the query or the underlying data. Recent work suggests using causal reasoning to find explanations for the surprisin...
SAT
2005
Springer
13 years 10 months ago
2005
Springer
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...
INFOVIS
2003
IEEE
13 years 10 months ago
2003
IEEE
Large numbers of dimensions not only cause clutter in multidimensional visualizations, but also make it difficult for users to navigate the data space. Effective dimension manage...
KI
2008
Springer
13 years 5 months ago
2008
Springer
Requirements engineering is a central part of software projects. It is assumed that two third of all errors in software projects are caused by forgotten requirements or mutual misu...