10997 search results - page 1898 / 2200 » On the Structure of Complete Sets |
161
click to vote
DLOG
2007
15 years 9 months ago
2007
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w...
170
click to vote
EXACT
2007
15 years 9 months ago
2007
This study describes a discourse approach to explanation aware knowledge representation. It presents a reasoning model that adheres to argumentation as found in written discourse,...
194
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Preferences in constraint problems are common but significant in many real world applications. In this paper, we extend our conditional and composite CSP (CCCSP) framework, managi...
154
click to vote
FLAIRS
2008
15 years 9 months ago
2008
1 In this paper, we propose a peptide folding prediction method which discovers contrast patterns to differentiate and predict peptide folding classes. A contrast pattern is defin...
217
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Naive Bayesian classifiers work well in data sets with independent attributes. However, they perform poorly when the attributes are dependent or when there are one or more irrelev...