English
Related papers

Related papers: Revisiting DRUP-based Interpolants with CaDiCaL 2.…

200 papers

Reject Inference (RI) methods aim to address sample bias by inferring missing repayment data for rejected credit applicants. Traditional approaches often assume that the behavior of rejected clients can be extrapolated from accepted…

Machine Learning · Computer Science 2025-10-16 Athyrson Machado Ribeiro , Marcos Medeiros Raimundo

Implicit time-stepping for advection is applied locally in space and time where Courant numbers are large, but standard explicit time-stepping is used for the remaining solution which is typically the majority. This adaptively implicit…

Fluid Dynamics · Physics 2024-06-14 Hilary Weller , Christian Kuehnlein , Piotr K. Smolarkiewicz

Automated Machine Learning (AutoML) is used more than ever before to support users in determining efficient hyperparameters, neural architectures, or even full machine learning pipelines. However, users tend to mistrust the optimization…

Machine Learning · Computer Science 2022-07-12 René Sass , Eddie Bergman , André Biedenkapp , Frank Hutter , Marius Lindauer

Dataset Distillation (DD) seeks to create a condensed dataset that, when used to train a model, enables the model to achieve performance similar to that of a model trained on the entire original dataset. It relieves the model training from…

Computer Vision and Pattern Recognition · Computer Science 2024-10-18 Chuhao Zhou , Chenxi Jiang , Yi Xie , Haozhi Cao , Jianfei Yang

The efficacy of a nudging data assimilation algorithm using higher order finite element interpolating operators is studied. Numerical experiments are presented for the 2D Navier-Stokes equations in two cases: shear flow in an annulus and a…

Numerical Analysis · Mathematics 2021-08-10 Michael S. Jolly , Ali Pakzad

Systematic ablations are essential to attribute performance gains in AI Virtual Cells, yet they are rarely performed because biological repositories are under-standardized and tightly coupled to domain-specific data and formats. While…

Artificial Intelligence · Computer Science 2026-05-01 Xue Xia , Chengkai Yao , Mingyu Tsoi , Xinjie Mao , Wenxuan Huang , Jiaqi Wei , Hao Wu , Cheng Tan , Lang Yu , Yuejin Yang , Mengdi Liu , Siqi Sun , Zhangyang Gao

Stable Diffusion (SD) often produces degraded outputs when the training dataset contains adversarial noise. Adversarial purification offers a promising solution by removing adversarial noise from contaminated data. However, existing…

Computer Vision and Pattern Recognition · Computer Science 2026-01-13 Li Zheng , Liangbin Xie , Jiantao Zhou , He YiMin

Purpose: Apparent diffusion coefficient (ADC) maps derived from diffusion weighted (DWI) MRI provides functional measurements about the water molecules in tissues. However, DWI is time consuming and very susceptible to image artifacts,…

Image and Video Processing · Electrical Eng. & Systems 2024-07-08 Zach Eidex , Mojtaba Safari , Jacob Wynne , Richard L. J. Qiu , Tonghe Wang , David Viar Hernandez , Hui-Kuo Shu , Hui Mao , Xiaofeng Yang

While Multi-Agent Systems (MAS) excel in complex reasoning, they suffer from the cascading impact of erroneous information from individual agents. Current solutions often resort to rigid structural engineering or expensive fine-tuning,…

Artificial Intelligence · Computer Science 2026-05-29 Yutong Wang , Siyuan Xiong , Xuebo Liu , Wenkang Zhou , Liang Ding , Miao Zhang , Min Zhang

Answer Set Programming (ASP) is a declarative programming paradigm. The intrinsic complexity of the evaluation of ASP programs makes the development of more effective and faster systems a challenging research topic. This paper reports on…

Artificial Intelligence · Computer Science 2014-04-29 Mario Alviano , Carmine Dodaro , Francesco Ricca

We introduce, analyze and test a new interpolation operator for use with continuous data assimilation (DA) of evolution equations that are discretized spatially with the finite element method. The interpolant is constructed as an…

Analysis of PDEs · Mathematics 2018-10-09 Leo G. Rebholz , Camille Zerfas

While many diffusion models have achieved impressive results in real-world video super-resolution (Real-VSR) by generating rich and realistic details, their reliance on multi-step sampling leads to slow inference. One-step networks like…

Computer Vision and Pattern Recognition · Computer Science 2026-03-03 Bin Chen , Weiqi Li , Shijie Zhao , Xuanyu Zhang , Junlin Li , Li Zhang , Jian Zhang

Few-step video generation has been significantly advanced by consistency distillation. However, the performance of consistency-distilled models often degrades as more sampling steps are allocated at test time, limiting their effectiveness…

Computer Vision and Pattern Recognition · Computer Science 2026-05-14 Yuchao Gu , Guian Fang , Yuxin Jiang , Weijia Mao , Song Han , Han Cai , Mike Zheng Shou

Sparse sensor networks in weather and ocean modeling observe only a small fraction of the system state, which destabilizes standard nudging-based data assimilation. We introduce Interpolated Discrepancy Data Assimilation (IDDA), which…

Numerical Analysis · Mathematics 2025-11-03 Tong Wu , Humberto Godinez , Vitaliy Gyrya , James M. Hyman

The aim of this paper is to analyse the gain of the update algorithm associated to the recently proposed D-iteration: the D-iteration is a fluid diffusion based new iterative method. It exploits a simple intuitive decomposition of the…

Discrete Mathematics · Computer Science 2012-02-29 Dohy Hong

Being intensively studied, visual tracking has seen great recent advances in either speed (e.g., with correlation filters) or accuracy (e.g., with deep features). Real-time and high accuracy tracking algorithms, however, remain scarce. In…

Computer Vision and Pattern Recognition · Computer Science 2017-08-02 Heng Fan , Haibin Ling

Nondeterminism in scheduling is the cardinal reason for difficulty in proving correctness of concurrent programs. A powerful proof strategy was recently proposed [6] to show the correctness of such programs. The approach captured data-flow…

Programming Languages · Computer Science 2016-04-29 Chinmay Narayan , Subodh Sharma , Shibashis Guha , S. Arun-Kumar

DeepLab2 is a TensorFlow library for deep labeling, aiming to provide a state-of-the-art and easy-to-use TensorFlow codebase for general dense pixel prediction problems in computer vision. DeepLab2 includes all our recently developed…

This paper describes our submitted systems to the 2022 ADD challenge withing the tracks 1 and 2. Our approach is based on the combination of a pre-trained wav2vec2 feature extractor and a downstream classifier to detect spoofed audio. This…

Audio and Speech Processing · Electrical Eng. & Systems 2022-03-04 Juan M. Martín-Doñas , Aitor Álvarez

Video frame interpolation is a classic and challenging low-level computer vision task. Recently, deep learning based methods have achieved impressive results, and it has been proven that optical flow based methods can synthesize frames with…

Computer Vision and Pattern Recognition · Computer Science 2022-08-02 Jinfeng Liu , Lingtong Kong , Jie Yang