3446 search results - page 306 / 690 » A Reasoning Algorithm for pD* |
146
click to vote
ICCBR
2003
Springer
15 years 11 months ago
2003
Springer
In [1] we propose interchangeability based algorithms as methods for solving the case adaptation for the domain of problems which can be expressed as Constraint Satisfaction Proble...
189
click to vote
ILP
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we investigate condensation of a clause. First, we extend a substitution graph introduced by Scheffer et al. (1996) to a total matcher graph. Then, we give a correc...
154
click to vote
MSR
2010
ACM
15 years 11 months ago
2010
ACM
—The severity of a reported bug is a critical factor in deciding how soon it needs to be fixed. Unfortunately, while clear guidelines exist on how to assign the severity of a bu...
187
click to vote
IDEAS
2002
IEEE
15 years 11 months ago
2002
IEEE
Boolean expression simplification is a well-known problem in the history of Computer Science. The problem of determining prime implicates from an arbitrary Boolean expression has...
192
click to vote
SGAI
2009
Springer
15 years 11 months ago
2009
Springer
Feature subset selection has become more and more a common topic of research. This popularity is partly due to the growth in the number of features and application domains. The fa...