Results 1 to 10 of about 366,476 (269)
Programming with neural surrogates of programs [PDF]
Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, 2021 Surrogates, models that mimic the behavior of programs, form the basis of a variety of development workflows. We study three surrogate-based design patterns, evaluating each in case studies on a large-scale CPU simulator. With surrogate compilation, programmers develop a surrogate that mimics the behavior of a program to deploy to end-users in place of
Alex Renda, Yi Ding 0006, Michael Carbin
openaire +3 more sources
Mathematics, 2021 Recently developed methods in spontaneous speech analytics require the use of speaker separation based on audio data, referred to as diarization. It is applied to widespread use cases, such as meeting transcription based on recordings from distant ...
Sergei Astapov +9 more
doaj +1 more source
An Algorithm for Correcting Levels of Useful Signals on Interpretation of Eddy-Current Defectograms
Моделирование и анализ информационных систем, 2021 To ensure traffic safety of railway transport, non-destructive tests of rails are regularly carried out by using various approaches and methods, including eddy-current flaw detection methods.
Egor V. Kuzmin +4 more
doaj +1 more source
Virtual Dialogue Assistant for Remote Exams
Mathematics, 2021 A Virtual Dialogue Assistant (VDA) is an automated system intended to provide support for conducting tests and examinations in the context of distant education platforms.
Anton Matveev +6 more
doaj +1 more source
Personalizing Hybrid-Based Dialogue Agents
Mathematics, 2022 In this paper, we present a continuation of our work on the personification of dialogue agents. We expand upon the previously demonstrated models—the ranking and generative models—and propose new hybrid models.
Yuri Matveev +4 more
doaj +1 more source
Severity Estimation of Defects on Interpretation of Eddy-Current Defectograms
Моделирование и анализ информационных систем, 2021 To ensure traffic safety of railway transport, non-destructive tests of rails are regularly carried out by using various approaches and methods, including eddy-current flaw detection methods.
Egor V. Kuzmin +4 more
doaj +1 more source
Program Synthesis for Program Analysis [PDF]
ACM Transactions on Programming Languages and Systems, 2018 In this article, we propose a unified framework for designing static analysers based on program synthesis . For this purpose, we identify a fragment of second-order logic with restricted quantification that is expressive enough to model numerous static analysis problems (e.g., safety proving,
Cristina David +3 more
openaire +4 more sources
Моделирование и анализ информационных систем, 2020 To ensure traffic safety of railway transport, non-destructive test of rails is regularly carried out by using various approaches and methods, including eddy-current flaw detection methods.
Egor V. Kuzmin +4 more
doaj +1 more source
The First-Order Theory of Ordering Constraints over Feature Trees [PDF]
Discrete Mathematics & Theoretical Computer Science, 2001 The system FT< of ordering constraints over feature trees has been introduced as an extension of the system FT of equality constraints over feature trees.
Martin Müller +2 more
doaj +1 more source
Przegląd Naukowy Inżynieria i Kształtowanie Środowiska, 2021 This study investigates the lower Tigris basin’s the normalized difference vegetation index (NDVI) sensitivity in 2000–2016 to regional climate variability reflected by the monthly precipitation and temperature time series of seven global datasets as ...
Ali S. Alhumaima, Sanjar M. Abdullaev
doaj +1 more source