2196 search results - page 91 / 440 » Practical Reasoning Using Values |
113
click to vote
WSPI
2004
15 years 3 months ago
2004
Abstract. We examine the possibility of applying knowledge representation and automated reasoning in the context of philosophical ontology. For this purpose, we use the axioms and ...
122
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
We present a resolution-based decision procedure for the description logic SHOIQ--the logic underlying the Semantic Web ontology language OWL-DL. Our procedure is goal-oriented, an...
101
click to vote
AIME
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a method to choose the threshold for dichotomization of survival outcomes in a structured fashion based on data analysis. The method is illustrated with an appl...
115
click to vote
NIPS
2004
15 years 3 months ago
2004
The support vector machine (SVM) is a widely used tool for classification. Many efficient implementations exist for fitting a two-class SVM model. The user has to supply values fo...
124
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...