English
Related papers

Related papers: Perfect refiners for permutation group backtrackin…

200 papers

Finite-precision arithmetic computations face an inherent tradeoff between accuracy and efficiency. The points in this tradeoff space are determined, among other factors, by different data types but also evaluation orders. To put it simply,…

Programming Languages · Computer Science 2017-07-10 Eva Darulova , Einar Horn , Saksham Sharma

In this work, we present a methodology for devising forward-backward methods for finding zeros in the sum of a finite number of maximally monotone operators. We extend the framework and techniques from [SIAM J. Optim., 34 (2024), pp.…

Optimization and Control · Mathematics 2024-06-06 Francisco J. Aragón-Artacho , Rubén Campoy , César López-Pastor

We study phase retrieval for group frames arising from permutation representations, focusing on the action of the affine group of a finite field. We investigate various versions of the phase retrieval problem, including conjugate phase…

Representation Theory · Mathematics 2023-02-06 David Bartusel , Hartmut Führ , Vignon Oussa

We use the reconfiguration framework to analyze problems that involve the rearrangement of items among groups. In various applications, a group of items could correspond to the files or jobs assigned to a particular machine, and the goal of…

Data Structures and Algorithms · Computer Science 2024-10-29 Jeffrey Kam , Shahin Kamali , Avery Miller , Naomi Nishimura

We describe a practical algorithm to compute the (oriented) genus of a graph, give results of the program implementing this algorithm, and compare the performance to existing algorithms. The aim of this algorithm is to be fast enough for…

Combinatorics · Mathematics 2020-05-19 G. Brinkmann

To reduce model size during post-training, compression methods, including knowledge distillation, low-rank approximation, and pruning, are often applied after fine-tuning the model. However, sequential fine-tuning and compression sacrifices…

Machine Learning · Computer Science 2025-05-29 Xiangyu Chen , Jing Liu , Ye Wang , Matthew Brand , Pu , Wang , Toshiaki Koike-Akino

Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement techniques. A very simple model for stopping (eg. of a train) is developed in both the continuous and discrete…

Software Engineering · Computer Science 2011-06-22 Richard Banach , Huibiao Zhu , Wen Su , Runlei Huang

Patent analysis and mining are time-consuming and costly processes for companies, but nevertheless essential if they are willing to remain competitive. To face the overload induced by numerous patents, the idea is to automatically filter…

Computation and Language · Computer Science 2021-07-05 Théo Ding , Walter Vermeiren , Sylvie Ranwez , Binbin Xu

There are several measures for fairness in ranking, based on different underlying assumptions and perspectives. PL optimization with the REINFORCE algorithm can be used for optimizing black-box objective functions over permutations. In…

Machine Learning · Computer Science 2022-05-02 Ali Vardasbi , Fatemeh Sarvi , Maarten de Rijke

Geometric predicates are at the core of many algorithms, such as the construction of Delaunay triangulations, mesh processing and spatial relation tests. These algorithms have applications in scientific computing, geographic information…

Numerical Analysis · Mathematics 2023-08-01 Tinko Bartels , Vissarion Fisikopoulos , Martin Weiser

The exact renormalization group is applied to the world sheet theory describing bosonic open string backgrounds to obtain the equations of motion for the fields of the open string. Using loop variable techniques the equations can be…

High Energy Physics - Theory · Physics 2008-11-26 B. Sathiapalan

Various tasks in data science are modeled utilizing the variational regularization approach, where manually selecting regularization parameters presents a challenge. The difficulty gets exacerbated when employing regularizers involving a…

Optimization and Control · Mathematics 2025-07-08 Mohammad Sadegh Salehi , Subhadip Mukherjee , Lindon Roberts , Matthias J. Ehrhardt

To parse images into fine-grained semantic parts, the complex fine-grained elements will put it in trouble when using off-the-shelf semantic segmentation networks. In this paper, for image parsing task, we propose to parse images from…

Computer Vision and Pattern Recognition · Computer Science 2018-04-24 Jiagao Hu , Zhengxing Sun , Yunhan Sun , Jinlong Shi

The global and local contexts significantly contribute to the integrity of predictions in Salient Object Detection (SOD). Unfortunately, existing methods still struggle to generate complete predictions with fine details. There are two major…

Computer Vision and Pattern Recognition · Computer Science 2022-07-19 Yi Ke Yun , Weisi Lin

This paper proposes a new algorithm for solving MAX2SAT problems based on combining search methods with semidefinite programming approaches. Semidefinite programming techniques are well-known as a theoretical tool for approximating maximum…

Optimization and Control · Mathematics 2018-12-18 Po-Wei Wang , J. Zico Kolter

Feature transformation aims to generate new pattern-discriminative feature space from original features to improve downstream machine learning (ML) task performances. However, the discrete search space for the optimal feature explosively…

Machine Learning · Computer Science 2023-09-26 Dongjie Wang , Meng Xiao , Min Wu , Pengfei Wang , Yuanchun Zhou , Yanjie Fu

The latest developments in Natural Language Processing (NLP) have demonstrated remarkable progress in a code-text retrieval problem. As the Transformer-based models used in this task continue to increase in size, the computational costs and…

Machine Learning · Computer Science 2024-05-08 Karim Galliamov , Leila Khaertdinova , Karina Denisova

Parameter Efficient Fine-Tuning (PEFT) methods have emerged as effective and promising approaches for fine-tuning pre-trained language models. Compared with Full parameter Fine-Tuning (FFT), PEFT achieved comparable task performance with a…

Machine Learning · Computer Science 2025-06-10 Tongzhou Yu , Zhuhao Zhang , Guanghui Zhu , Shen Jiang , Meikang Qiu , Yihua Huang

Feature representations from pre-trained deep neural networks have been known to exhibit excellent generalization and utility across a variety of related tasks. Fine-tuning is by far the simplest and most widely used approach that seeks to…

Computer Vision and Pattern Recognition · Computer Science 2017-10-09 Donghyun Yoo , Haoqi Fan , Vishnu Naresh Boddeti , Kris M. Kitani

Transformers have outperformed recurrent neural networks (RNNs) in natural language generation. But this comes with a significant computational cost, as the attention mechanism's complexity scales quadratically with sequence length.…

Computation and Language · Computer Science 2021-09-21 Jungo Kasai , Hao Peng , Yizhe Zhang , Dani Yogatama , Gabriel Ilharco , Nikolaos Pappas , Yi Mao , Weizhu Chen , Noah A. Smith
‹ Prev 1 8 9 10 Next ›