中文
相关论文

相关论文: Implementing a Unification Algorithm for Protocol …

200 篇论文

The paper has been withdrawn since more effective experiments should be completed. Auto-encoders (AE) has been widely applied in different fields of machine learning. However, as a deep model, there are a large amount of learnable…

机器学习 · 计算机科学 2017-03-14 Zihao Wang , Yiuming Cheung

It is a challenging problem that solving the \textit{multivariate linear model} (MLM) $\mathbf{A}\mathbf{x}=\mathbf{b}$ with the $\ell_1 $-norm approximation method such that $||\mathbf{A}\mathbf{x}-\mathbf{b}||_1$, the $\ell_1$-norm of the…

最优化与控制 · 数学 2025-05-21 Zhi-Qiang Feng , Hong-Yan Zhanga , Ji Ma , Daniel Delahaye , Ruo-Shi Yang , Man Liang

Processing sets or other unordered, potentially variable-sized inputs in neural networks is usually handled by aggregating a number of input tensors into a single representation. While a number of aggregation methods already exist from…

机器学习 · 计算机科学 2022-07-05 Sergey Bartunov , Fabian B. Fuchs , Timothy Lillicrap

In the rapidly evolving research on artificial intelligence (AI) the demand for fast, computationally efficient, and scalable solutions has increased in recent years. The problem of optimizing the computing resources for distributed machine…

机器学习 · 计算机科学 2025-10-30 Mohammadreza Doostmohammadian , Zulfiya R. Gabidullina , Hamid R. Rabiee

Graph matching is a commonly used technique in computer vision and pattern recognition. Recent data-driven approaches have improved the graph matching accuracy remarkably, whereas some traditional algorithm-based methods are more robust to…

计算机视觉与模式识别 · 计算机科学 2024-03-12 Haoru Tan , Chuang Wang , Sitong Wu , Xu-Yao Zhang , Fei Yin , Cheng-Lin Liu

We consider a multi-stage distributed detection scenario, where $n$ sensors and a fusion center (FC) are deployed to accomplish a binary hypothesis test. At each time stage, local sensors generate binary messages, assumed to be spatially…

信号处理 · 电气工程与系统科学 2023-01-04 Guangyang Zeng , Xiaoqiang Ren , Junfeng Wu

Black-box quantum state preparation is a fundamental primitive in quantum algorithms. Starting from Grover, a series of techniques have been devised to reduce the complexity. In this work, we propose to perform black-box state preparation…

Quantification is the machine learning task of estimating test-data class proportions that are not necessarily similar to those in training. Apart from its intrinsic value as an aggregate statistic, quantification output can also be used to…

机器学习 · 计算机科学 2016-06-06 Aykut Firat

The dynamic ensemble selection of classifiers is an effective approach for processing label-imbalanced data classifications. However, such a technique is prone to overfitting, owing to the lack of regularization methods and the dependence…

机器学习 · 计算机科学 2020-11-09 Chen Wang , Chengyuan Deng , Zhoulu Yu , Dafeng Hui , Xiaofeng Gong , Ruisen Luo

Simulating general quantum processes that describe realistic interactions of quantum systems following a non-unitary evolution is challenging for conventional quantum computers that directly implement unitary gates. We analyze complexities…

Automated detection of contraband items in X-ray images can significantly increase public safety, by enhancing the productivity and alleviating the mental load of security officers in airports, subways, customs/post offices, etc. The large…

计算机视觉与模式识别 · 计算机科学 2023-05-04 Georgios Batsis , Ioannis Mademlis , Georgios Th. Papadopoulos

This paper studies the polynomial optimization problem whose feasible set is a union of several basic closed semialgebraic sets. We propose a unified hierarchy of Moment-SOS relaxations to solve it globally. Under some assumptions, we prove…

最优化与控制 · 数学 2024-05-21 Jiawang Nie , Linghao Zhang

This paper proposes uni-orthogonal and bi-orthogonal nonnegative matrix factorization algorithms with robust convergence proofs. We design the algorithms based on the work of Lee and Seung [1], and derive the converged versions by utilizing…

机器学习 · 计算机科学 2011-03-17 Andri Mirzal

Many approaches for verifying input-output properties of neural networks have been proposed recently. However, existing algorithms do not scale well to large networks. Recent work in the field of model compression studied binarized neural…

机器学习 · 计算机科学 2022-03-15 Christopher Lazarus , Mykel J. Kochenderfer

This paper concerns with the construction of codes over $GF(2)$ which reach the max-flow for single source multicast acyclic networks with delay. The coding is always a bitwise XOR of packets with equal lengths, and is based on highly…

信息论 · 计算机科学 2020-02-14 Katina Kralevska , Danilo Gligoroski , Harald Oeverby

We consider the problem of network coding across multiple unicasts. We give, for wired and wireless networks, efficient polynomial time algorithms for finding optimal network codes within the class of network codes restricted to XOR coding…

网络与互联网体系结构 · 计算机科学 2007-05-23 Tracey Ho

The lack of mathematical tractability of Deep Neural Networks (DNNs) has hindered progress towards having a unified convergence analysis of training algorithms, in the general setting. We propose a unified optimization framework for…

机器学习 · 计算机科学 2018-05-24 Hadi Ghauch , Hossein Shokri-Ghadikolaei , Carlo Fischione , Mikael Skoglund

Spike sorting plays an irreplaceable role in understanding brain codes. Traditional spike sorting technologies perform feature extraction and clustering separately after spikes are well detected. However, it may often cause many additional…

信号处理 · 电气工程与系统科学 2020-11-23 Libo Huang , Lu Gan , Bingo Wing-Kuen Ling

We study constrained comonotone min-max optimization, a structured class of nonconvex-nonconcave min-max optimization problems, and their generalization to comonotone inclusion. In our first contribution, we extend the Extra Anchored…

最优化与控制 · 数学 2024-12-06 Yang Cai , Argyris Oikonomou , Weiqiang Zheng

Secure aggregation enables a group of mutually distrustful parties, each holding private inputs, to collaboratively compute an aggregate value while preserving the privacy of their individual inputs. However, a major challenge in adopting…

密码学与安全 · 计算机科学 2025-04-14 Romain de Laage , Peterson Yuhala , François-Xavier Wicht , Pascal Felber , Christian Cachin , Valerio Schiavoni