Results 21 to 30 of about 182,172 (303)
Ground truth explanation dataset for chemical property prediction on molecular graphs
Interpretation of chemistry on an atomic scale improves with explainable artificial intelligence (XAI). The parts of the molecule with the most significant influence on the chemical property of interest can be visualized with atomwise and bondwise ...
Fang, Liu, Liang, Zhao, Eugen, Hruska
core +1 more source
AXIOMS FOR GROUNDED TRUTH [PDF]
AbstractWe axiomatize Leitgeb’s (2005) theory of truth and show that this theory proves all arithmetical sentences of the system of ramified analysis up to ε0. We also give alternative axiomatizations of Kripke’s (1975) theory of truth (Strong Kleene and supervaluational version) and show that they are at least as strong as the Kripke-Feferman system ...
openaire +3 more sources
use of NumberingZone in B series adding D series (in test and in train) adding character table updating citation model minor update in the transcription guidelinesIf you use this dataset, please cite it using the metadata from this ...
Chagué, Alix, Pérez, Gilles
core +1 more source
Does Set Theory Really Ground Arithmetic Truth?
We consider the foundational relation between arithmetic and set theory. Our goal is to criticize the construction of standard arithmetic models as providing grounds for arithmetic truth. Our method is to emphasize the incomplete picture of both theories
Alfredo Roque Freire
doaj +1 more source
Objective Construction of Ground Truth Images
In the context of virtual and augmented reality, computer vision plays a pivotal role. To benchmark performance, evaluation of computer vision models, such as edge detection is essential.
Ananda Maiti +7 more
core +1 more source
Ground-truth labeling and inferred detections for medium-complexity images.
Comparison between the ground truth and the inferred detections in medium-complexity images. On the left is an image labeled by a medical expert. The results of the trained model are provided on the right. (TIF)
Leonardo Vanneschi (11767436) +6 more
core +1 more source
Ground-truth labeling and inferred detections for low-complexity images.
Comparison between the ground truth and the inferred detections in low-complexity images. On the left is an image labeled by a medical expert. The results of the trained model are provided on the right. (TIF)
Leonardo Vanneschi (11767436) +6 more
core +1 more source
Organizational decision-makers need to evaluate AI tools in light of increasing claims that such tools outperform human experts. Yet, measuring the quality of knowledge work is challenging, raising the question of how to evaluate AI performance in such ...
Lifshitz-Assa, Hila +5 more
core +1 more source
trejkev/Ground-Truth-Generator: v1.0
A functional MATLAB script that takes the .world files and creates a png black and white image of how this world looks in a 2D ...
Kevin Trejos
core +1 more source
Lake Chad is facing critical situations since the 1960s due to the effects of climate change and anthropogenic activities. The statistical analyses of remote sensing climate variables (i.e., evapotranspiration, specific humidity, soil temperature, air ...
Kim-Ndor Djimadoumngar
doaj +1 more source

