English
Related papers

Related papers: Anytime Cooperative Implicit Hitting Set Solving

200 papers

Model based diagnosis finds a growing range of practical applications, and significant performance-wise improvements have been achieved in recent years. Some of these improvements result from formulating the problem with maximum…

Logic in Computer Science · Computer Science 2017-07-10 Alexey Ignatiev , Antonio Morgado , Joao Marques-Silva

This paper presents a novel hybrid approach that integrates linear programming (LP) within the loss function of an unsupervised machine learning model. By leveraging the strengths of both optimization techniques and machine learning, this…

Machine Learning · Computer Science 2025-04-21 Andrew Kiruluta , Andreas Lemos

Solving combinatorial optimization problems involve satisfying a set of hard constraints while optimizing some objectives. In this context, exact or approximate methods can be used. While exact methods guarantee the optimal solution, they…

Artificial Intelligence · Computer Science 2024-09-13 Aymen Ben Said , Malek Mouhoub

The hitting set problem asks for a collection of sets over a universe $U$ to find a minimum subset of $U$ that intersects each of the given sets. It is NP-hard and equivalent to the problem set cover. We give a branch-and-bound algorithm to…

Data Structures and Algorithms · Computer Science 2023-09-28 Thomas Bläsius , Tobias Friedrich , David Stangl , Christopher Weyand

Heuristic algorithms such as simulated annealing, Concorde, and METIS are effective and widely used approaches to find solutions to combinatorial optimization problems. However, they are limited by the high sample complexity required to…

Machine Learning · Computer Science 2019-06-18 Qingpeng Cai , Will Hang , Azalia Mirhoseini , George Tucker , Jingtao Wang , Wei Wei

We present an efficient deterministic hypothesis generation algorithm for robust fitting of multiple structures based on the maximum feasible subsystem (MaxFS) framework. Despite its advantage, a global optimization method such as MaxFS has…

Computer Vision and Pattern Recognition · Computer Science 2018-07-26 Kwang Hee Lee , Sang Wook Lee

Global optimization is a challenging problem, with plenty of algorithms displaying empirical success, but scarce theoretical backing. In this work, we propose a new theoretical framework called Proximal Basin Hopping (PBH), carefully…

Machine Learning · Computer Science 2026-05-19 Guillaume Lauga , Cesare Molinari , Samuel Vaiter

The ability of fast similarity search at large scale is of great importance to many Information Retrieval (IR) applications. A promising way to accelerate similarity search is semantic hashing which designs compact binary codes for a large…

Information Retrieval · Computer Science 2010-04-30 Dell Zhang , Jun Wang , Deng Cai , Jinsong Lu

Recent advances in generative modeling enable neural networks to generate weights without relying on gradient-based optimization. However, current methods are limited by issues of over-coupling and long-horizon. The former tightly binds…

Machine Learning · Computer Science 2025-11-04 Yunchuan Guan , Yu Liu , Ke Zhou , Hui Li , Sen Jia , Zhiqi Shen , Ziyang Wang , Xinglin Zhang , Tao Chen , Jenq-Neng Hwang , Lei Li

Visual-inertial simultaneous localization and mapping (SLAM) is a key module of robotics and low-speed autonomous vehicles, which is usually limited by the high computation burden for practical applications. To this end, an innovative…

Robotics · Computer Science 2025-05-28 Bingxiang Kang , Jie Zou , Guofa Li , Pengwei Zhang , Jie Zeng , Kan Wang , Jie Li

Hyperbolic (HB) programming generalizes many popular convex optimization problems, including semidefinite and second-order cone programming. Despite substantial theoretical progress on HB programming, efficient computational tools for…

Optimization and Control · Mathematics 2026-02-27 Mehdi Karimi , Levent Tuncel

The evaluation of hyperparameters, neural architectures, or data augmentation policies becomes a critical model selection problem in advanced deep learning with a large hyperparameter search space. In this paper, we propose an efficient and…

Machine Learning · Statistics 2020-12-17 Yimin Huang , Yujun Li , Hanrong Ye , Zhenguo Li , Zhihua Zhang

Implicit hate speech (IHS) is indirect language that conveys prejudice or hatred through subtle cues, sarcasm or coded terminology. IHS is challenging to detect as it does not include explicit derogatory or inflammatory words. To address…

Computation and Language · Computer Science 2025-08-29 Vassiliy Cheremetiev , Quang Long Ho Ngo , Chau Ying Kot , Alina Elena Baia , Andrea Cavallaro

We improve low-resource ASR by integrating the ideas of multilingual training and self-supervised learning. Concretely, we leverage an International Phonetic Alphabet (IPA) multilingual model to create frame-level pseudo labels for…

Audio and Speech Processing · Electrical Eng. & Systems 2023-05-22 Siyuan Feng , Ming Tu , Rui Xia , Chuanzeng Huang , Yuxuan Wang

State-of-the-art model for zero-shot cross-lingual spoken language understanding performs cross-lingual unsupervised contrastive learning to achieve the label-agnostic semantic alignment between each utterance and its code-switched data.…

Computation and Language · Computer Science 2024-05-13 Bowen Xing , Ivor W. Tsang

Given a family of feasible subsets of a ground set, the packing problem is to find a largest subfamily of pairwise disjoint family members. Non-approximability renders heuristics attractive viable options, while efficient methods with…

Discrete Mathematics · Computer Science 2015-09-29 Giovanni Rossi

We present a novel algorithm for generating robust and consistent hypotheses for multiple-structure model fitting. Most of the existing methods utilize random sampling which produce varying results especially when outlier ratio is high. For…

Computer Vision and Pattern Recognition · Computer Science 2018-07-26 Kwang Hee Lee , Chanki Yu , Sang Wook Lee

This paper presents a novel holistic deep learning framework that simultaneously addresses the challenges of vulnerability to input perturbations, overparametrization, and performance instability from different train-validation splits. The…

Hessian-free training has become a popular parallel second or- der optimization technique for Deep Neural Network training. This study aims at speeding up Hessian-free training, both by means of decreasing the amount of data used for…

Machine Learning · Computer Science 2013-12-11 Tara N. Sainath , Lior Horesh , Brian Kingsbury , Aleksandr Y. Aravkin , Bhuvana Ramabhadran

This paper studies a formulation of 1-bit Compressed Sensing (CS) problem based on the maximum likelihood estimation framework. In order to solve the problem we apply the recently proposed Gradient Support Pursuit algorithm, with a minor…

Information Theory · Computer Science 2013-04-25 Sohail Bahmani , Petros T. Boufounos , Bhiksha Raj