Výsledky vyhledávání - CCS Concepts Computing methodologies → Model verification AND validation

VISLIX: An XAI Framework for Validating Vision Models with Slice Discovery and Analysis Autor Yan, Xinyuan, Xuan, Xiwei, Ono, Jorge Piazentin, Guo, Jiajing, Mohanty, Vikram, Kumar, Shekar Arvind, Gou, Liang, Wang, Bei, Ren, Liu

“… Despite its popularity and effectiveness, data slicing for vision model validation faces several challenges…”
Získat plný text

Interactively Assessing Disentanglement in GANs Autor Jeong, Sangwon, Liu, Shusen, Berger, Matthew

“…Generative adversarial networks (GAN) have witnessed tremendous growth in recent years, demonstrating wide applicability in many domains. However, GANs remain…”
Získat plný text

Character navigation in dynamic environments based on optical flow Autor López, Axel, Chaumette, François, Marchand, Eric, Pettré, Julien

“… In this work, we propose a synthetic vision model that uses visual features to steer agents through dynamic environments…”
Získat plný text

REFINE: realistic fault injection via compiler-based instrumentation for accuracy, portability and speed Autor Georgakoudis, Giorgis, Laguna, Ignacio, Nikolopoulos, Dimitrios S., Schulz, Martin

“…Compiler-based fault injection (FI) has become a popular technique for resilience studies to understand the impact of soft errors in supercomputing systems…”
Získat plný text

Generating Accurate Assert Statements for Unit Test Cases using Pretrained Transformers Autor Tufano, Michele, Drain, Dawn, Svyatkovskiy, Alexey, Sundaresan, Neel

“… Our approach is based on a state-of-the-art transformer model initially pretrained on an English textual corpus…”
Získat plný text

Manifold for Machine Learning Assurance Autor Byun, Taejoon, Rayadurgam, Sanjai

“…The increasing use of machine-learning (ML) enabled systems in critical tasks fuels the quest for novel verification and validation techniques yet grounded in accepted system assurance principles…”
Získat plný text

Compensation analysis of subsidence angle of supersonic low-altitude cruise target projectile launch Autor Guo, Hongli, Ren, Shaofeng, Yan, Huaiqiang, Zhao, Hongtao, Wei, Chunshuang, Gao, Yun

“…Aiming at the launching process of the supersonic barrel-type spinning target projectile, and improving the control accuracy of the open-loop controlled target…”
Získat plný text

DataRaceBench: a benchmark suite for systematic evaluation of data race detection tools Autor Liao, Chunhua, Lin, Pei-Hung, Asplund, Joshua, Schordan, Markus, Karlin, Ian

“… We focus on data race detection in programs written in OpenMP, the popular parallel programming model for multi-threaded applications…”
Získat plný text

A Method and Experiment to evaluate Deep Neural Networks as Test Oracles for Scientific Software Autor de Santiago Junior, Valdivino Alexandre

“…) with up to 161layers, playing the role of test oracle procedures for testing scientific models…”
Získat plný text

Towards Benchmarking the Coverage of Automated Testing Tools in Android against Manual Testing Autor Thung, Ferdian, Irsan, Ivana Clairine, Liu, Jiakun, Lo, David

“… A lot of testing methodologies are employed such as model-based testing, search-based testing, random testing, fuzzing, concolic execution, and mutation…”
Získat plný text