English
Related papers

Related papers: Adaptive Restart and CEGAR-based Solver for Invert…

200 papers

Supervised cross-modal hashing aims to embed the semantic correlations of heterogeneous modality data into the binary hash codes with discriminative semantic labels. Because of its advantages on retrieval and storage efficiency, it is…

Information Retrieval · Computer Science 2022-03-22 Fengling Li , Tong Wang , Lei Zhu , Zheng Zhang , Xinhua Wang

The high cost of annotating data makes self-supervised approaches, such as contrastive learning methods, appealing for Human Activity Recognition (HAR). Effective contrastive learning relies on selecting informative positive and negative…

Computer Vision and Pattern Recognition · Computer Science 2025-07-08 Yavuz Yarici , Kiran Kokilepersaud , Mohit Prabhushankar , Ghassan AlRegib

Finding near-optimal solutions for dense multi-agent pathfinding (MAPF) problems in real-time remains challenging even for state-of-the-art planners. To this end, we develop a hybrid framework that integrates a learned heuristic derived…

Artificial Intelligence · Computer Science 2025-10-21 Rishabh Jain , Keisuke Okumura , Michael Amir , Amanda Prorok

The increasing operational reliance on complex Multi-Agent Systems (MAS) across safety-critical domains necessitates rigorous adversarial robustness assessment. Modern MAS are inherently heterogeneous, integrating conventional Multi-Agent…

Cryptography and Security · Computer Science 2025-12-19 Akhil Sharma , Shaikh Yaser Arafat , Jai Kumar Sharma , Ken Huang

Frequent itemset mining is an essential part of data analysis and data mining. Recent works propose interesting SAT-based encodings for the problem of discovering frequent itemsets. Our aim in this work is to define strategies for adapting…

Artificial Intelligence · Computer Science 2015-06-09 Said Jabbour , Lakhdar Sais , Yakoub Salhi

This paper investigates a new yet challenging problem called Reverse $k$-Maximum Inner Product Search (R$k$MIPS). Given a query (item) vector, a set of item vectors, and a set of user vectors, the problem of R$k$MIPS aims to find a set of…

Information Retrieval · Computer Science 2023-06-30 Qiang Huang , Yanhao Wang , Anthony K. H. Tung

Sparse-view Computed Tomography (CT) is an emerging protocol designed to reduce X-ray dose radiation in medical imaging. Traditional Filtered Back Projection algorithm reconstructions suffer from severe artifacts due to sparse data. In…

Numerical Analysis · Mathematics 2024-12-03 Elena Loli Piccolomini , Davide Evangelista , Elena Morotti

Although image super-resolution (SR) problem has experienced unprecedented restoration accuracy with deep neural networks, it has yet limited versatile applications due to the substantial computational costs. Since different input images…

Computer Vision and Pattern Recognition · Computer Science 2024-04-05 Cheeun Hong , Kyoung Mu Lee

In recent years we have witnessed an increase in cyber threats and malicious software attacks on different platforms with important consequences to persons and businesses. It has become critical to find automated machine learning techniques…

Cryptography and Security · Computer Science 2021-03-08 Abir Rahali , Moulay A. Akhloufi

Instead of making behavioral decisions directly from the exponentially expanding joint observational-action space, subtask-based multi-agent reinforcement learning (MARL) methods enable agents to learn how to tackle different subtasks. Most…

Artificial Intelligence · Computer Science 2024-03-05 Wenjing Zhang , Wei Zhang

While standard reinforcement learning optimizes a single reward signal, many applications require optimizing a nonlinear utility $f(J_1^\pi,\dots,J_M^\pi)$ over multiple objectives, where each $J_m^\pi$ denotes the expected discounted…

Machine Learning · Computer Science 2026-03-10 Swetha Ganesh , Vaneet Aggarwal

Providing reliable model uncertainty estimates is imperative to enabling robust decision making by autonomous agents and humans alike. While recently there have been significant advances in confidence calibration for trained models,…

Machine Learning · Computer Science 2020-11-10 Sooyong Jang , Insup Lee , James Weimer

This paper extends Escardo and Oliva's selection monad to the selection monad transformer, a general monadic framework for expressing backtracking search algorithms in Haskell. The use of the closely related continuation monad transformer…

Programming Languages · Computer Science 2014-06-10 Jules Hedges

Adversarial inverse reinforcement learning (AIRL) stands as a cornerstone approach in imitation learning, yet it faces criticisms from prior studies. In this paper, we rethink AIRL and respond to these criticisms. Criticism 1 lies in…

Machine Learning · Computer Science 2024-10-29 Yangchun Zhang , Qiang Liu , Weiming Li , Yirui Zhou

The compression of deep learning models is of fundamental importance in deploying such models to edge devices. The selection of compression parameters can be automated to meet changes in the hardware platform and application using…

Machine Learning · Computer Science 2022-01-21 Nesma M. Rezk , Tomas Nordström , Dimitrios Stathis , Zain Ul-Abdin , Eren Erdal Aksoy , Ahmed Hemani

Multi-Agent Path Finding (MAPF) algorithms, including those for car-like robots and grid-based scenarios, face significant computational challenges due to expensive heuristic calculations. Traditional heuristic caching assumes that the…

Robotics · Computer Science 2026-01-21 HT To , S Nguyen , NH Pham

In this work, we empirically confirm that non-autoregressive translation with an iterative refinement mechanism (IR-NAT) suffers from poor acceleration robustness because it is more sensitive to decoding batch size and computing device…

Computation and Language · Computer Science 2022-10-20 Qiang Wang , Xinhui Hu , Ming Chen

Despite pre-training's progress in many important NLP tasks, it remains to explore effective pre-training strategies for dense retrieval. In this paper, we propose RetroMAE, a new retrieval oriented pre-training paradigm based on Masked…

Computation and Language · Computer Science 2022-10-18 Shitao Xiao , Zheng Liu , Yingxia Shao , Zhao Cao

This paper introduces Sparsified Late Interaction for Multi-vector (SLIM) retrieval with inverted indexes. Multi-vector retrieval methods have demonstrated their effectiveness on various retrieval datasets, and among them, ColBERT is the…

Information Retrieval · Computer Science 2023-05-10 Minghan Li , Sheng-Chieh Lin , Xueguang Ma , Jimmy Lin

We present a second iteration of a machine learning approach to static code analysis and fingerprinting for weaknesses related to security, software engineering, and others using the open-source MARF framework and the MARFCAT application…

Cryptography and Security · Computer Science 2013-05-13 Serguei A. Mokhov , Joey Paquet , Mourad Debbabi , Yankui Sun