Sciweavers

4066 search results - page 455 / 814
» Almost Complete Sets
Sort
View
IJCAI
1993
15 years 9 months ago
Second Order Measures for Uncertainty Processing
Uncertainty processing methods are analysed from the viewpoint of their sensitivity to small variations of certainty factors. The analysis makes use of the algebraic theory which ...
Zdenek Zdráhal
ACL
1989
15 years 8 months ago
A Three-Valued Interpretation of Negation in Feature Structure Descriptions
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...
Anuj Dawar, K. Vijay-Shanker
IJCAI
1989
15 years 8 months ago
Reducing the Derivation of Redundant Clauses in Reasoning Systems
This paper addresses two problems concerning the issue of redundant information in resolution based reasoning systems. The first one deals with the question, how the derivation of...
Rolf Socher-Ambrosius
IPCO
1992
100views Optimization» more  IPCO 1992»
15 years 8 months ago
An Exact Characterization of Greedy Structures
We present exact characterizations of structures on which the greedy algorithm produces optimal solutions. Our characterization, which we call matroid embeddings, complete the par...
Paul Helman, Bernard M. E. Moret, Henry D. Shapiro
CNL
2009
15 years 8 months ago
Writing Clinical Practice Guidelines in Controlled Natural Language
Abstract. Clinicians could benefit from decision support systems incorporating the knowledge contained in clinical practice guidelines. However, the unstructured form of these guid...
Richard N. Shiffman, George Michel, Michael Krauth...