English
Related papers

Related papers: Analysis of Semantic Communication for Logic-based…

200 papers

Foundation model-based semantic transmission has recently shown great potential in wireless image communication. However, existing methods exhibit two major limitations: (i) they overlook the varying importance of semantic components for…

Image and Video Processing · Electrical Eng. & Systems 2025-09-30 Fangyu Liu , Peiwen Jiang , Wenjin Wang , Chao-Kai Wen , Shi Jin , Jun Zhang

Today, wireless networks are becoming responsible for serving intelligent applications, such as extended reality and metaverse, holographic telepresence, autonomous transportation, and collaborative robots. Although current fifth-generation…

Networking and Internet Architecture · Computer Science 2024-01-30 Hassan Saadat , Abdullatif Albaseer , Mohamed Abdallah , Amr Mohamed , Aiman Erbad

This paper presents a novel design methodology for optimal transmission policies at a smart sensor to remotely estimate the state of a stable linear stochastic dynamical system. The sensor makes measurements of the process and forms…

Optimization and Control · Mathematics 2016-11-18 Mojtaba Nourian , Alex S. Leong , Subhrakanti Dey , Daniel E. Quevedo

The current optical communication systems minimize bit or symbol errors without considering the semantic meaning behind digital bits, thus transmitting a lot of unnecessary information. We propose and experimentally demonstrate a semantic…

Signal Processing · Electrical Eng. & Systems 2023-01-02 Zhenming Yu , Hongyu Huang , Liming Cheng , Wei Zhang , Yueqiu Mu , Kun Xu

In this work, we expand the cooperative multi-task semantic communication framework (CMT-SemCom) introduced in [1], which divides the semantic encoder on the transmitter side into a common unit (CU) and multiple specific units (SUs), to a…

Signal Processing · Electrical Eng. & Systems 2026-01-27 Ahmad Halimi Razlighi , Carsten Bockelmann , Armin Dekorsy

Logical Probability (LP) is strictly distinguished from Statistical Probability (SP). To measure semantic information or confirm hypotheses, we need to use sampling distribution (conditional SP function) to test or confirm fuzzy truth…

Information Theory · Computer Science 2016-09-27 Cheguang Lu

Optimizing high-level mission planning constraints is traditionally solved in exponential time and requires to split the problem into several ones, making the connections between them a convoluted task. This paper aims at generalizing…

Optimization and Control · Mathematics 2024-10-11 Thomas Claudet , Davide Martire , Damiana Losa , Francesco Sanfedino , Daniel Alazard

Cross-lingual or cross-domain correspondences play key roles in tasks ranging from machine translation to transfer learning. Recently, purely unsupervised methods operating on monolingual embeddings have become effective alignment tools.…

Computation and Language · Computer Science 2018-09-05 David Alvarez-Melis , Tommi S. Jaakkola

Semi-algebraic proof systems such as sum-of-squares (SoS) have attracted a lot of attention recently due to their relation to approximation algorithms: constant degree semi-algebraic proofs lead to conjecturally optimal polynomial-time…

Logic in Computer Science · Computer Science 2021-05-20 Fedor Part , Neil Thapen , Iddo Tzameret

Satellite communications can provide massive connections and seamless coverage, but they also face several challenges, such as rain attenuation, long propagation delays, and co-channel interference. To improve transmission efficiency and…

Signal Processing · Electrical Eng. & Systems 2024-10-27 Peiwen Jiang , Chao-Kai Wen , Xiao Li , Shi Jin , Geoffrey Ye Li

Semantic communication represents a promising technique towards reducing communication costs, especially when dealing with image segmentation, but it still lacks a balance between computational efficiency and bandwidth requirements while…

Networking and Internet Architecture · Computer Science 2025-07-22 Ebrahim Abu-Helalah , Jordi Serra , Jordi Perez-Romero

In this paper, we study whether transformer-based language models can extract predicate argument structure from simple sentences. We firstly show that language models sometimes confuse which predicates apply to which objects. To mitigate…

Computation and Language · Computer Science 2024-10-07 Akshay Chaturvedi , Nicholas Asher

Logics of limited belief aim at enabling computationally feasible reasoning in highly expressive representation languages. These languages are often dialects of first-order logic with a weaker form of logical entailment that keeps reasoning…

Artificial Intelligence · Computer Science 2017-05-05 Christoph Schwering

Complex logical reasoning tasks require a long sequence of reasoning, which a large language model (LLM) with chain-of-thought prompting still falls short. To alleviate this issue, neurosymbolic approaches incorporate a symbolic solver.…

Computation and Language · Computer Science 2025-07-22 Hyun Ryu , Gyeongman Kim , Hyemin S. Lee , Eunho Yang

Semantic communications can reduce the resource consumption by transmitting task-related semantic information extracted from source messages. However, when the source messages are utilized for various tasks, e.g., wireless sensing data for…

Signal Processing · Electrical Eng. & Systems 2023-03-28 Hongyang Du , Jiacheng Wang , Dusit Niyato , Jiawen Kang , Zehui Xiong , Junshan Zhang , Xuemin , Shen

Wireless connectivity has traditionally been regarded as an opaque data pipe carrying messages, whose context-dependent meaning and effectiveness have been ignored. Nevertheless, in emerging cyber-physical and autonomous networked systems,…

Information Theory · Computer Science 2021-03-11 Marios Kountouris , Nikolaos Pappas

Semantic control entails steering LM generations towards satisfying subtle non-lexical constraints, e.g., toxicity, sentiment, or politeness, attributes that can be captured by a sequence-level verifier. It can thus be viewed as sampling…

Machine Learning · Computer Science 2025-05-06 Kareem Ahmed , Catarina G Belem , Padhraic Smyth , Sameer Singh

Backscatter communication is an energy-efficient technique that enables sustainable wireless connectivity with a minimal environmental impact. In this paper, the secrecy performance of practical non-linear energy-harvesting backscatter…

Information Theory · Computer Science 2025-03-18 Mohammad Nafees , Dharmendra Dixit , Arvind Kumar

Modern communications are usually designed to pursue a higher bit-level precision and fewer bits while transmitting a message. This article rethinks these two major features and introduces the concept and advantage of semantics that…

Signal Processing · Electrical Eng. & Systems 2022-06-09 Kun Lu , Qingyang Zhou , Rongpeng Li , Zhifeng Zhao , Xianfu Chen , Jianjun Wu , Honggang Zhang

In this work, we investigate the challenging problem of on-demand semantic communication over heterogeneous wireless networks. We propose a fidelity-adjustable semantic transmission framework (FAST) that empowers wireless devices to send…

Networking and Internet Architecture · Computer Science 2023-10-31 Peichun Li , Guoliang Cheng , Jiawen Kang , Rong Yu , Liping Qian , Yuan Wu , Dusit Niyato