3428 search results - page 603 / 686 » Making the Case |
163
click to vote
MATES
2004
Springer
15 years 11 months ago
2004
Springer
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an exp...
165
click to vote
PAM
2004
Springer
15 years 11 months ago
2004
Springer
Given that the global DNS system, especially at the higher root and top-levels, experiences significant query loads, we seek to answer the following questions: (1) How does the ch...
313
click to vote
ROCAI
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a model class for statistical learning which is based on mixtures of propositional rules. In our mixture model, the weight of a rule is not uniform over the entire ins...
166
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
As the use of Semantic Web ontologies continues to expand there is a growing need for tools that can validate ontological consistency and provide guidance in the correction of dete...
174
click to vote
SIGADA
2004
Springer
15 years 11 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...