English
Related papers

Related papers: Certifying One-Phase Technology-Assisted Reviews

200 papers

Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure, reliable and high quality code. However, an often quoted…

Software Engineering · Computer Science 2007-05-23 Cathal Boogerd , Leon Moonen

Modern Code Review (MCR) is a standard in all kinds of organizations that develop software. MCR pays for itself through perceived and proven benefits in quality assurance and knowledge transfer. However, the time invest in MCR is generally…

Software Engineering · Computer Science 2021-04-20 Robert Heumüller

This paper presents the design and validation of a retrieval-based assistant that supports safety assessment, certification activities, and regulatory compliance for unmanned aircraft systems. The work is motivated by the growing complexity…

Computation and Language · Computer Science 2026-03-12 Gabriele Immordino , Andrea Vaiuso , Marcello Righi

Federated Active Learning (FAL) has emerged as a promising framework to leverage large quantities of unlabeled data across distributed clients while preserving data privacy. However, real-world deployments remain limited by high annotation…

Machine Learning · Computer Science 2025-05-20 Haoyuan Li , Mathias Funk , Jindong Wang , Aaqib Saeed

This work, based on Random Matrix Theory (RMT), introduces a novel early-stopping strategy for Transformer training dynamics. Utilizing the Power Law (PL) fit to tansformer attention matrices as a probe, we demarcate training into three…

Machine Learning · Computer Science 2025-12-30 Jing He , Hua Jiang , Cheng Li , Siqian Xin , Shuzhen Yang

Active Learning (AL) aims to reduce the labeling burden by interactively selecting the most informative samples from a pool of unlabeled data. While there has been extensive research on improving AL query methods in recent years, some…

Computer Vision and Pattern Recognition · Computer Science 2023-11-06 Carsten T. Lüth , Till J. Bungert , Lukas Klein , Paul F. Jaeger

Early time classification algorithms aim to label a stream of features without processing the full input stream, while maintaining accuracy comparable to that achieved by applying the classifier to the entire input. In this paper, we…

Machine Learning · Computer Science 2024-02-02 Liran Ringel , Regev Cohen , Daniel Freedman , Michael Elad , Yaniv Romano

We propose a reference-free learning model predictive controller for periodic repetitive tasks. We consider a problem in which dynamics, constraints and stage cost are periodically time-varying. The controller uses the closed-loop data to…

Systems and Control · Electrical Eng. & Systems 2020-04-20 Nicola Scianca , Ugo Rosolia , Francesco Borrelli

Modern search engine ranking pipelines are commonly based on large machine-learned ensembles of regression trees. We propose LEAR, a novel - learned - technique aimed to reduce the average number of trees traversed by documents to…

Information Retrieval · Computer Science 2021-09-17 Francesco Busolin , Claudio Lucchese , Franco Maria Nardini , Salvatore Orlando , Raffaele Perego , Salvatore Trani

Current methods of evaluating search strategies and automated citation screening for systematic literature reviews typically rely on counting the number of relevant and not relevant publications. This established practice, however, does not…

Information Retrieval · Computer Science 2023-07-03 Wojciech Kusa , Guido Zuccon , Petr Knoth , Allan Hanbury

Speech emotion recognition (SER) has garnered increasing attention due to its wide range of applications in various fields, including human-machine interaction, virtual assistants, and mental health assistance. However, existing SER methods…

Sound · Computer Science 2024-05-02 Dongyuan Li , Ying Zhang , Yusong Wang , Funakoshi Kataro , Manabu Okumura

Engineering processes for safety-critical systems describe the steps and sequence that guide engineers from refining user requirements into executable code, as well as producing the artifacts, traces, and evidence that the resulting system…

Software Engineering · Computer Science 2023-12-21 Cosmina-Cristina Ratiu , Christoph Mayr-Dorn , Alexander Egyed

Click-through rate (CTR) prediction plays an indispensable role in online platforms. Numerous models have been proposed to capture users' shifting preferences by leveraging user behavior sequences. However, these historical sequences often…

Information Retrieval · Computer Science 2024-04-16 Junjie Huang , Guohao Cai , Jieming Zhu , Zhenhua Dong , Ruiming Tang , Weinan Zhang , Yong Yu

In Retrieval-Augmented Generation (RAG), retrieval is not always helpful and applying it to every instruction is sub-optimal. Therefore, determining whether to retrieve is crucial for RAG, which is usually referred to as Active Retrieval.…

Computation and Language · Computer Science 2024-10-04 Qinyuan Cheng , Xiaonan Li , Shimin Li , Qin Zhu , Zhangyue Yin , Yunfan Shao , Linyang Li , Tianxiang Sun , Hang Yan , Xipeng Qiu

Background: Accurate effort estimation is crucial for planning in Agile iterative development. Agile estimation generally relies on consensus-based methods like planning poker, which require less time and information than other formal…

Software Engineering · Computer Science 2024-05-06 Jirat Pasuksmit , Patanamon Thongtanunam , Shanika Karunasekera

Iterative methods are ubiquitous in large-scale scientific computing applications, and a number of approaches based on meta-learning have been recently proposed to accelerate them. However, a systematic study of these approaches and how…

Numerical Analysis · Mathematics 2023-01-31 Sohei Arisaka , Qianxiao Li

Increasingly demanding performance requirements for dynamical systems motivates the adoption of nonlinear and adaptive control techniques. One challenge is the nonlinearity of the resulting closed-loop system complicates verification that…

Systems and Control · Computer Science 2017-10-03 John F. Quindlen , Ufuk Topcu , Girish Chowdhary , Jonathan P. How

In the pursuit of superior video-processing MLLMs, we have encountered a perplexing paradox: the "anti-scaling law", where more data and larger models lead to worse performance. This study unmasks the culprit: "temporal hacking", a…

Computer Vision and Pattern Recognition · Computer Science 2025-02-18 En Yu , Kangheng Lin , Liang Zhao , Yana Wei , Zining Zhu , Haoran Wei , Jianjian Sun , Zheng Ge , Xiangyu Zhang , Jingyu Wang , Wenbing Tao

Reinforcement Learning from AI Feedback (RLAIF) relies on LLM judges as preference measurement instruments, yet these instruments are fundamentally limited by random measurement errors -- stochastic fluctuations that manifest as preference…

Artificial Intelligence · Computer Science 2026-05-26 Boyin Liu , Zhuo Zhang , Sen Huang , Lipeng Xie , Qingxu Fu , Haoran Chen , LI YU , Tianyi Hu , Zhaoyang Liu , Bolin Ding , Dongbin Zhao

The number of agents can be an effective curriculum variable for controlling the difficulty of multi-agent reinforcement learning (MARL) tasks. Existing work typically uses manually defined curricula such as linear schemes. We identify two…

Artificial Intelligence · Computer Science 2025-05-16 Wenshuai Zhao , Zhiyuan Li , Joni Pajarinen