3428 search results - page 603 / 686 » Making the Case |
128
click to vote
MATES
2004
Springer
15 years 9 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...
139
click to vote
PAM
2004
Springer
15 years 9 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...
262
click to vote
ROCAI
2004
Springer
15 years 9 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...
139
click to vote
SEMWEB
2004
Springer
15 years 9 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...
147
click to vote
SIGADA
2004
Springer
15 years 9 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...