English
Related papers

Related papers: High-Level Message Sequence Charts: Satisfiability…

200 papers

Multistage Stochastic Programming (MSP) is a class of models for sequential decision-making under uncertainty. MSP problems are known for their computational intractability due to the sequential nature of the decision-making structure and…

Optimization and Control · Mathematics 2021-02-10 Murwan Siddig , Yongjia Song , Amin Khademi

This paper focuses on a typical uplink transmission scenario over multiple-input multiple-output multiple access channel (MIMO-MAC) and thus propose a multi-user learnable CSI fusion semantic communication (MU-LCFSC) framework. It…

Networking and Internet Architecture · Computer Science 2025-04-14 Bingyan Xie , Yongpeng Wu , Feng Shu , Jiangzhou Wang , Wenjun Zhang

In data clustering, it is often desirable to find not just a single partition into clusters but a sequence of partitions that describes the data at different scales (or levels of coarseness). A natural problem then is to analyse and compare…

Algebraic Topology · Mathematics 2025-04-25 Juni Schindler , Mauricio Barahona

This paper studies a class of source coding problems that combines elements of the CEO problem with the multiple description problem. In this setting, noisy versions of one remote source are observed by two nodes with encoders (which is…

Information Theory · Computer Science 2010-01-07 Rajiv Soundararajan , Aaron B. Wagner , Sriram Vishwanath

Multimodal planning capabilities refer to the ability to predict, reason, and design steps for task execution with multimodal context, which is essential for complex reasoning and decision-making across multiple steps. However, current…

Computation and Language · Computer Science 2025-08-01 Yiyan Ji , Haoran Chen , Qiguang Chen , Chengyue Wu , Libo Qin , Wanxiang Che

We introduce \emph{ScalableMax}, a novel communication scheme for achieving max-consensus in a network of multiple agents which harnesses the interference in the wireless channel as well as its multicast capabilities. In a sufficiently…

Information Theory · Computer Science 2021-03-01 Navneet Agrawal , Matthias Frey , Slawomir Stanczak

We study the notion of structured realizability for linear systems defined over graphs. A stabilizable and detectable realization is structured if the state-space matrices inherit the sparsity pattern of the adjacency matrix of the…

Systems and Control · Computer Science 2012-12-11 Laurent Lessard , Maxim Kristalny , Anders Rantzer

In this paper, we introduce Max Markov Chain (MMC), a novel representation for a useful subset of High-order Markov Chains (HMCs) with sparse correlations among the states. MMC is parsimony while retaining the expressiveness of HMCs. Even…

Artificial Intelligence · Computer Science 2022-11-04 Yu Zhang , Mitchell Bucklew

Federated Graph Learning (FGL) has emerged as a promising way to learn high-quality representations from distributed graph data with privacy preservation. Despite considerable efforts have been made for FGL under either cross-device or…

Machine Learning · Computer Science 2024-06-18 Zhuoning Guo , Duanyi Yao , Qiang Yang , Hao Liu

This paper is concerned with solving chance-constrained finite-horizon optimal control problems, with a particular focus on the recursive feasibility issue of stochastic model predictive control (SMPC) in terms of mission-wide probability…

Optimization and Control · Mathematics 2022-09-21 Kai Wang , Sebastien Gros

We introduce Chart2Code, a new benchmark for evaluating the chart understanding and code generation capabilities of large multimodal models (LMMs). Chart2Code is explicitly designed from a user-driven perspective, capturing diverse…

Software Engineering · Computer Science 2026-04-21 Jiahao Tang , Henry Hengyuan Zhao , Lijian Wu , Zijian Zhang , Yifei Tao , Dongxing Mao , Yang Wan , Jingru Tan , Min Zeng , Min Li , Alex Jinpeng Wang

Controlling real-world networked systems, including ecological, biomedical, and engineered networks that exhibit higher-order interactions, remains challenging due to inherent nonlinearities and large system scales. Despite extensive…

Optimization and Control · Mathematics 2026-03-23 Joshua Pickard , Xin Mao , Can Chen

In recent years, there has been a growing interest in using machine learning to overcome the high cost of numerical simulation, with some learned models achieving impressive speed-ups over classical solvers whilst maintaining accuracy.…

Machine Learning · Computer Science 2022-10-04 Meire Fortunato , Tobias Pfaff , Peter Wirnsberger , Alexander Pritzel , Peter Battaglia

In this work, we consider achievable secrecy rates for symmetric $K$-user ($K \ge 3$) interference channels with confidential messages. We find that nested lattice codes and layered coding are useful in providing secrecy for these channels.…

Information Theory · Computer Science 2016-11-17 Xiang He , Aylin Yener

Multimodal Large Language Models (MLLMs) have demonstrated impressive abilities across various tasks, including visual question answering and chart comprehension, yet existing benchmarks for chart-related tasks fall short in capturing the…

Computation and Language · Computer Science 2025-02-11 Zifeng Zhu , Mengzhao Jia , Zhihan Zhang , Lang Li , Meng Jiang

The optimization problem of the minimum set of leaders for the controllability of undirected graphs are addressed. It is difficult to find not only its optimal solution but also its approximate algorithm. We propose a new concept, namely…

Optimization and Control · Mathematics 2021-12-03 Li Dai

Probabilistic message-passing algorithms are developed for routing transmissions in multi-wavelength optical communication networks, under node and edge-disjoint routing constraints and for various objective functions. Global routing…

Physics and Society · Physics 2022-04-25 Yi-Zhi Xu , Ho Fai Po , Chi Ho Yeung , David Saad

In this paper, we propose a scalable and highly efficient index structure for the reachability problem over graphs. We build on the well-known node interval labeling scheme where the set of vertices reachable from a particular node is…

Databases · Computer Science 2012-12-03 Stephan Seufert , Avishek Anand , Srikanta Bedathur , Gerhard Weikum

Recent advances in semantic communication (SC) have introduced neural network (NN)-based transceivers that convey semantic representation (SR) of signals such as images. However, these NNs are trained over diverse image distributions and…

Signal Processing · Electrical Eng. & Systems 2025-07-24 Hyelin Nam , Jihong Park , Jinho Choi , Seong-Lyun Kim

A new ensemble of structured codes is introduced. These codes are called Quasi Linear Codes (QLC). The QLC's are constructed by taking subsets of linear codes. They have a looser structure compared to linear codes and are not closed under…

Information Theory · Computer Science 2016-02-16 F. Shirani , M. Heidari , S. S. Pradhan