English
Related papers

Related papers: A Simple Algorithm for Global Value Numbering

200 papers

In this paper we study the generalized vertex cover problem (GVC), which is a generalization of various well studied combinatorial optimization problems. GVC is shown to be equivalent to the unconstrained binary quadratic programming…

Computational Complexity · Computer Science 2017-08-15 Pooja Pandey , Abraham P. Punnen

We introduce estimatable variation neural networks (EVNNs), a class of neural networks that allow a computationally cheap estimate on the $BV$ norm motivated by the space $BMV$ of functions with bounded M-variation. We prove a universal…

Numerical Analysis · Mathematics 2025-11-14 Mária Lukáčová-Medviďová , Simon Schneider

In evolutionary computation, it is commonly assumed that a search algorithm acquires knowledge about a problem instance by sampling solutions from the search space and evaluating them with a fitness function. This is necessarily inefficient…

Neural and Evolutionary Computing · Computer Science 2024-11-12 Piotr Wyrwiński , Krzysztof Krawiec

This article studies a Newton-like method already used by several authors but which has not been thouroughly studied yet. We call it the robust-variance scoring (RVS) algorithm because the main version of the algorithm that we consider…

Statistics Theory · Mathematics 2007-06-13 Daniel Commenges , Helene Jacqmin-Gadda , Cecile Proust , Jeremie Guedj

Modern video super-resolution (VSR) systems based on convolutional neural networks (CNNs) require huge computational costs. The problem of feature redundancy is present in most models in many domains, but is rarely discussed in VSR. We…

Image and Video Processing · Electrical Eng. & Systems 2025-05-19 Yutong Guo

Many real-world phenomena can be modeled as a graph, making them extremely valuable due to their ubiquitous presence. GNNs excel at capturing those relationships and patterns within these graphs, enabling effective learning and prediction…

Machine Learning · Computer Science 2023-11-28 Abhinav Raghuvanshi , Kushal Sokke Malleshappa

Market-based mechanisms such as auctions are being studied as an appropriate means for resource allocation in distributed and mulitagent decision problems. When agents value resources in combination rather than in isolation, they must often…

Artificial Intelligence · Computer Science 2013-01-30 Craig Boutilier , Moises Goldszmidt , Bikash Sabata

Support vector classification (SVC) is an effective tool for classification tasks in machine learning. Its performance relies on the selection of appropriate hyperparameters. This paper focuses on optimizing the regularization…

Optimization and Control · Mathematics 2025-06-30 Yaru Qian , Qingna Li , Alain Zemkoho

Continuation Calculus (CC), introduced by Geron and Geuvers, is a simple foundational model for functional computation. It is closely related to lambda calculus and term rewriting, but it has no variable binding and no pattern matching. It…

Logic in Computer Science · Computer Science 2014-09-12 Herman Geuvers , Wouter Geraedts , Bram Geron , Judith van Stegeren

Auto-encoding generative adversarial networks (GANs) combine the standard GAN algorithm, which discriminates between real and model-generated data, with a reconstruction loss given by an auto-encoder. Such models aim to prevent mode…

Machine Learning · Statistics 2017-10-24 Mihaela Rosca , Balaji Lakshminarayanan , David Warde-Farley , Shakir Mohamed

Two new concepts, generic regular decomposition and regular-decomposition-unstable (RDU) variety for generic zero-dimensional systems, are introduced in this paper and an algorithm is proposed for computing a generic regular decomposition…

Symbolic Computation · Computer Science 2013-01-17 Xiaoxian Tang , Zhenghong Chen , Bican Xia

Recently many neural models have been proposed to solve combinatorial puzzles by implicitly learning underlying constraints using their solved instances, such as sudoku or graph coloring (GCP). One drawback of the proposed architectures,…

Machine Learning · Computer Science 2022-02-08 Yatin Nandwani , Vidit Jain , Mausam , Parag Singla

In this work, we present a quantum neighborhood preserving embedding and a quantum local discriminant embedding for dimensionality reduction and classification. We demonstrate that these two algorithms have an exponential speedup over their…

Quantum Physics · Physics 2020-03-23 Jin-Min Liang , Shu-Qian Shen , Ming Li , Lei Li

The vector notation adopted by GNU Octave plays a significant role as a tool for introspection, aligning itself with the vision of Kenneth E. Iverson. He believed that, just like mathematics, a programming language should be an effective…

Software Engineering · Computer Science 2024-10-31 Leonardo Araújo

Time-aware data valuation enhances training efficiency and model robustness, as early detection of harmful samples could prevent months of wasted computation. However, existing methods rely on model retraining or convergence assumptions or…

Machine Learning · Computer Science 2025-02-18 Jie Xu , Zihan Wu , Cong Wang , Xiaohua Jia

A parameter-free method, namely the generalization of the Gauss-Seidel (GGS) method, is developed to solve generalized absolute value equations. Convergence of the proposed method is analyzed. Numerical results are given to demonstrate the…

Numerical Analysis · Mathematics 2025-05-05 Tingting Luo , Jiayu Liu , Cairong Chen , Linjie Chen , Changfeng Ma

A well-known problem in computing some matrix functions iteratively is the lack of a clear, commonly accepted residual notion. An important matrix function for which this is the case is the matrix exponential. Suppose the matrix exponential…

Numerical Analysis · Mathematics 2015-03-19 Mike A. Botchev

Graph convolutional neural networks (GCNs) generalize tradition convolutional neural networks (CNNs) from low-dimensional regular graphs (e.g., image) to high dimensional irregular graphs (e.g., text documents on word embeddings). Due to…

Machine Learning · Computer Science 2021-03-30 Mehrnaz Najafi , Philip S. Yu

Convolutional neural networks (CNNs) have recently become the state-of-the-art tool for large-scale image classification. In this work we propose the use of activation features from CNNs as local descriptors for writer identification. A…

Computer Vision and Pattern Recognition · Computer Science 2024-02-28 Vincent Christlein , David Bernecker , Andreas Maier , Elli Angelopoulou

In signal processing and identification, generalized singular value decomposition (GSVD), related to a sequence of matrices in product/quotient form are essential numerical linear algebra tools. On behalf of the growing demand for efficient…

Numerical Analysis · Mathematics 2025-11-13 Sitao Ling , Wenxuan Ma , Musheng Wei
‹ Prev 1 8 9 10 Next ›