89222 search results - page 72 / 17845 » Which |
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which i...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
In this paper, we present a generalization of the relational data model based on interval neutrosophic set [1]. Our data model is capable of manipulating incomplete as well as inc...
MLQ
2008
13 years 9 months ago
2008
We show that there is a model of ZF in which the Borel hierarchy on the reals has length 2. This implies that 1 has countable cofinality, so the axiom of choice fails very badly i...
PRL
2006
13 years 9 months ago
2006
Receiver Operating Characteristics (ROC) graphs are a useful technique for organizing classifiers and visualizing their performance. ROC graphs have been used in cost-sensitive le...
SYNTHESE
2008
13 years 8 months ago
2008
Many assume that we can be responsible only what is voluntary. This leads to puzzlement about our responsibility for our beliefs, since beliefs seem not to be voluntary. I argue ag...