Results 11 to 20 of about 2,493,519 (340)
Program Repair by Stepwise Correctness Enhancement [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Relative correctness is the property of a program to be more-correct than another with respect to a given specification. Whereas the traditional definition of (absolute) correctness divides candidate program into two classes (correct, and incorrect ...
Nafi Diallo, Wided Ghardallou, Ali Mili
doaj +2 more sources
On Political Correctness [PDF]
Social Sciences, 2019 This paper aims to analyse the arguments in favour and against applying Political Correctness policies on campus, especially on the curricula. The arguments in favour that will be studied are the criticism of the canon and the fair representation of ...
Oscar Pérez de la Fuente
doaj +2 more sources
“Political Correctness”: Interpretation Aspects
Вестник Волгоградского государственного университета: Серия 2. Языкознание, 2017 The article provides the topical for modern society notion – the notion of political correctness. The author discloses its content in different historical epochs and in the appliance to various branches of science and humanities: political science ...
Alisa O. Kagileva
doaj +2 more sources
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
Proving the Correctness of Multiprocess Programs
IEEE Transactions on Software Engineering, 1977 L. Lamport
exaly +2 more sources
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
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
Development of Private Processes: A Refinement Approach
IEEE Access, 2019 Private processes are the basis to construct the collaborative business processes, and their correctness has a direct impact on the correctness of collaborative business processes.
Qi Mo +5 more
doaj +1 more source