Results 301 to 310 of about 762,582 (351)
Some of the next articles are maybe not open access.
Inconsistency in mathematics and the mathematics of inconsistency
Synthese, 2014zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
The Review of Symbolic Logic, 2014
AbstractThis paper scrutinizes the relationship between inconsistency and incoherence with a special focus on probabilistic measures of coherence. As is shown, while the majority of extant coherence measures face problems regarding the assessment of inconsistent sets of propositions, it is possible to adapt the measures in order to improve their ...
openaire +2 more sources
AbstractThis paper scrutinizes the relationship between inconsistency and incoherence with a special focus on probabilistic measures of coherence. As is shown, while the majority of extant coherence measures face problems regarding the assessment of inconsistent sets of propositions, it is possible to adapt the measures in order to improve their ...
openaire +2 more sources
Classifier Inconsistency-Based Domain Adaptation Network for Partial Transfer Intelligent Diagnosis
IEEE Transactions on Industrial Informatics, 2020Deep networks based mechanical intelligent diagnosis has been recently attracting considerable attentions with the development of Industry 4.0. Unfortunately, a more practical diagnostic scenario, i.e., unsupervised partial transfer diagnosis, has not ...
Jinyang Jiao +3 more
semanticscholar +1 more source
Journal of Philosophical Logic, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Likelihood and Inconsistency, , , ,
Cladistics, 1999Parsimony can be inconsistent, but not maximum likelihood—likelihood advocates often say. This difference and conclusions drawn from it have provided the main reasons advanced by likelihoodists against the use of parsimony. Recent statistical research, however, shows that maximum likelihood estimation of phylogenetic trees can become inconsistent in ...
openaire +2 more sources
Artificial Intelligence, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gerhard Brewka +2 more
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gerhard Brewka +2 more
openaire +1 more source
Inconsistencies and disconnects
Communications of the ACM, 2007The gap between the perception and reality of the technology skills of first-year college students raises questions about the role of state curriculum standards.
Jeffrey A. Stone, Elinor M. Madigan
openaire +1 more source
ACM Inroads, 2013
The most common measure for an algorithm's efficiency is its running time, described as a function of the input length. Traditionally, however, several inconsistencies have found their way even to the analysis of the most classical algorithms. In some cases these are 'slight' inconsistencies, in the sense that their effect may change the result by a ...
openaire +1 more source
The most common measure for an algorithm's efficiency is its running time, described as a function of the input length. Traditionally, however, several inconsistencies have found their way even to the analysis of the most classical algorithms. In some cases these are 'slight' inconsistencies, in the sense that their effect may change the result by a ...
openaire +1 more source
The Cambridge Law Journal, 2019
AbstractThe author makes two claims in this paper. First, there appears to be an increase in indications of inconsistency (“IoIs”) across the common law world. Second, this increase is a normatively concerning turn in judicial practice. IoIs are judicial statements which, either explicitly or by implication, indicate that primary legislation is ...
openaire +1 more source
AbstractThe author makes two claims in this paper. First, there appears to be an increase in indications of inconsistency (“IoIs”) across the common law world. Second, this increase is a normatively concerning turn in judicial practice. IoIs are judicial statements which, either explicitly or by implication, indicate that primary legislation is ...
openaire +1 more source
2006
Traditionally, theorem provers have been used to prove theorems with relatively small axiomatisations. The recent development of large ontologies poses a non-trivial challenge of reasoning with axiomatisations consisting of hundreds of thousands axioms. In the near future much larger ontologies will be available.
openaire +1 more source
Traditionally, theorem provers have been used to prove theorems with relatively small axiomatisations. The recent development of large ontologies poses a non-trivial challenge of reasoning with axiomatisations consisting of hundreds of thousands axioms. In the near future much larger ontologies will be available.
openaire +1 more source