English
Related papers

Related papers: SUT System Description for NIST SRE 2016

200 papers

Unit testing represents the foundational basis of the software testing pyramid, beneath integration and end-to-end testing. Automated software testing researchers have proposed a variety of techniques to assist developers in this…

Software Engineering · Computer Science 2022-03-25 Michele Tufano , Dawn Drain , Alexey Svyatkovskiy , Neel Sundaresan

This paper presents an overview of the NTIRE 2026 Challenge on Video Saliency Prediction. The goal of the challenge participants was to develop automatic saliency map prediction methods for the provided video sequences. The novel dataset of…

We study the problem of formally verifying the robustness to adversarial examples of support vector machines (SVMs), a major machine learning model for classification and regression tasks. Following a recent stream of works on formal…

Machine Learning · Computer Science 2019-04-29 Francesco Ranzato , Marco Zanella

This paper focuses on the identification of dynamical systems with tailor-made model structures, where neural networks are used to approximate uncertain components and domain knowledge is retained, if available. These model structures are…

Machine Learning · Computer Science 2021-10-29 Marco Forgione , Dario Piga

As the main contribution, this document provides a consistent discretization of a class of fixed-time stable systems, namely predefined-time stable systems. In the unperturbed case, the proposed approach allows obtaining not only a…

We share our recent findings in an attempt to train a universal segmentation network for various cell types and imaging modalities. Our method was built on the generalized U-Net architecture, which allows the evaluation of each component…

Computer Vision and Pattern Recognition · Computer Science 2022-08-01 Tianqi Guo , Yin Wang , Luis Solorio , Jan P. Allebach

In this paper, we present new optimization models for Support Vector Machine (SVM), with the aim of separating data points in two or more classes. The classification task is handled by means of nonlinear classifiers induced by kernel…

Optimization and Control · Mathematics 2025-07-15 Francesca Maggioni , Andrea Spinelli

In the field of deep learning, the prevalence of models initially trained with 32-bit precision is a testament to its robustness and accuracy. However, the continuous evolution of these models often demands further training, which can be…

Machine Learning · Computer Science 2023-12-04 Juyoung Yun

This document provides a brief description of the National Institute of Standards and Technology (NIST) speaker recognition evaluation (SRE) conversational telephone speech (CTS) Superset. The CTS Superset has been created in an attempt to…

Sound · Computer Science 2021-08-17 Seyed Omid Sadjadi

In industrial practice, requirements are an indispensable element of any serious software project. In the academic study of software engineering, requirements are one of the heavily researched subjects. And yet requirements engineering, as…

Software Engineering · Computer Science 2025-02-28 Maria Naumcheva , Sophie Ebersold , Jean-Michel Bruel , Bertrand Meyer

This report presents the algorithm used in the submission of Generic Event Boundary Detection (GEBD) Challenge at CVPR 2022. In this work, we improve the existing Structured Context Transformer (SC-Transformer) method for GEBD.…

Computer Vision and Pattern Recognition · Computer Science 2022-06-28 Dexiang Hong , Xiaoqi Ma , Xinyao Wang , Congcong Li , Yufei Wang , Longyin Wen

Recently, the self-supervised pre-training paradigm has shown great potential in leveraging large-scale unlabeled data to improve downstream task performance. However, increasing the scale of unlabeled pre-training data in real-world…

Computer Vision and Pattern Recognition · Computer Science 2022-12-13 Yiqi Lin , Huabin Zheng , Huaping Zhong , Jinjing Zhu , Weijia Li , Conghui He , Lin Wang

This paper does not describe a novel method. Instead, it studies a straightforward, incremental, yet must-know baseline given the recent progress in computer vision: self-supervised learning for Vision Transformers (ViT). While the training…

Computer Vision and Pattern Recognition · Computer Science 2021-08-17 Xinlei Chen , Saining Xie , Kaiming He

Transient stability assessment is an integral part of dynamic security assessment of power systems. Traditional methods of transient stability assessment, such as time domain simulation approach and direct methods, are appropriate for…

Systems and Control · Electrical Eng. & Systems 2021-11-23 Umair Shahzad

In this work, we try to decipher the internal connection of NLP technology development in the past decades, searching for essence, which rewards us with a (potential) new learning paradigm for NLP tasks, dubbed as reStructured Pre-training…

Computation and Language · Computer Science 2022-09-09 Weizhe Yuan , Pengfei Liu

Saliency prediction has been extensively studied in RGB images and videos as a computational model of human visual attention. In contrast, predicting saliency from event-based data remains largely unexplored, despite the biological…

Computer Vision and Pattern Recognition · Computer Science 2026-05-25 Romaric Mazna , Jean Martinet , Sai Deepesh Pokala

Since its inception, the field of unbiased learning to rank (ULTR) has remained very active and has seen several impactful advancements in recent years. This tutorial provides both an introduction to the core concepts of the field and an…

Information Retrieval · Computer Science 2023-05-05 Shashank Gupta , Philipp Hager , Jin Huang , Ali Vardasbi , Harrie Oosterhuis

Context: Tertiary studies in software engineering (TS@SE) are widely used to synthesise evidence on a research topic systematically. As part of their protocol, TS@SE define inclusion and exclusion criteria (IC/EC) aimed at selecting those…

Software Engineering · Computer Science 2021-10-20 Dolors Costal , Carles Farré , Xavier Franch , Carme Quer

ImageNet serves as the primary dataset for evaluating the quality of computer-vision models. The common practice today is training each architecture with a tailor-made scheme, designed and tuned by an expert. In this paper, we present a…

Computer Vision and Pattern Recognition · Computer Science 2022-05-13 Tal Ridnik , Hussam Lawen , Emanuel Ben-Baruch , Asaf Noy

We introduce a technique that can automatically tune the parameters of a rule-based computer vision system comprised of thresholds, combinational logic, and time constants. This lets us retain the flexibility and perspicacity of a…

Computer Vision and Pattern Recognition · Computer Science 2018-08-02 Jonathan Connell , Benjamin Herta