Results 11 to 20 of about 2,784,953 (338)
Data Quality Matters: A Case Study on Data Label Correctness for Security Bug Report Prediction
IEEE Transactions on Software Engineering, 2022 In the research of mining software repositories, we need to label a large amount of data to construct a predictive model. The correctness of the labels will affect the performance of a model substantially.
Xiaoxue Wu, Wei Zheng, Xin Xia, D. Lo
semanticscholar +1 more source
Sensors, 2022 Hiding the identity of involved participants in the network, known as anonymity, is a crucial issue in some cryptographic applications such as electronic voting systems, auctions, digital signatures, and Byzantine agreements.
Saw Nang Paing +5 more
doaj +1 more source
SAINT+: Integrating Temporal Features for EdNet Correctness Prediction [PDF]
International Conference on Learning Analytics and Knowledge, 2020 We propose SAINT+, a successor of SAINT which is a Transformer based knowledge tracing model that separately processes exercise information and student response information.
Dongmin Shin +5 more
semanticscholar +1 more source
Evaluating Representation Learning of Code Changes for Predicting Patch Correctness in Program Repair [PDF]
International Conference on Automated Software Engineering, 2020 A large body of the literature of automated program repair develops approaches where patches are generated to be validated against an oracle (e.g., a test suite).
Haoye Tian +6 more
semanticscholar +1 more source
Nursing Open, 2023 Aim This study was conducted to determine the correctness and completeness of documentation of partographs. Design This was a retrospective descriptive study.
Archbald Bahizi +2 more
doaj +1 more source
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing [PDF]
Foundations of Software Science and Computation Structure, 2020 We present semantic correctness proofs of Automatic Differentiation (AD). We consider a forward-mode AD method on a higher order language with algebraic data types, and we characterise it as the unique structure preserving macro given a choice of ...
Mathieu Huot +2 more
semanticscholar +1 more source
Optimizing the Factual Correctness of a Summary: A Study of Summarizing Radiology Reports [PDF]
Annual Meeting of the Association for Computational Linguistics, 2019 Neural abstractive summarization models are able to generate summaries which have high overlap with human references. However, existing models are not optimized for factual correctness, a critical metric in real-world applications.
Yuhao Zhang +4 more
semanticscholar +1 more source
Геофизический журнал, 2023 In modern seismic exploration, the migration procedure plays an important role for further interpretation of the observed data. It is the migration that makes it possible to display the deep structure of the geological section based on the dynamic ...
O. Verpakhovska, O. Chorna
doaj +1 more source
A puzzle about enkratic reasoning [PDF]
, 2020 Enkratic reasoning—reasoning from believing that you ought to do something to an intention to do that thing—seems good. But there is a puzzle about how it could be. Good reasoning preserves correctness, other things equal. But enkratic reasoning does not
Way, Jonathan
core +1 more source
On Correctness of Cauchy problem for a Polynomial Difference Operator with Constant Coefficients
Известия Иркутского государственного университета: Серия "Математика", 2018 The theory of linear difference equations is applied in various areas of ma\-the\-matics and in the one-dimensional case is quite established. For $n>1$, the situation is much more difficult and even for the constant coefficients a general description of
M. S. Apanovich, E.K. Leinartas
doaj +1 more source