English
Related papers

Related papers: Dynamic Symbolic Execution for Semantic Difference…

200 papers

Remote sensing image segmentation faces persistent challenges in distinguishing morphologically similar categories and adapting to diverse scene variations. While existing methods rely on implicit representation learning paradigms, they…

Computer Vision and Pattern Recognition · Computer Science 2025-03-11 Xuechao Zou , Yue Li , Shun Zhang , Kai Li , Shiying Wang , Pin Tao , Junliang Xing , Congyan Lang

We consider a semantic communication system for speech signals, named DeepSC-S. Motivated by the breakthroughs in deep learning (DL), we make an effort to recover the transmitted speech signals in the semantic communication systems, which…

Audio and Speech Processing · Electrical Eng. & Systems 2021-09-09 Zhenzi Weng , Zhijin Qin , Geoffrey Ye Li

A robust observer for performing power system dynamic state estimation (DSE) of a synchronous generator is proposed. The observer is developed using the concept of $\mathcal{L}_{\infty}$ stability for uncertain, nonlinear dynamic generator…

Systems and Control · Electrical Eng. & Systems 2020-02-19 Sebastian Nugroho , Ahmad F. Taha , Junjian Qi

To cope with the ever-increasing computational demand of the DNN execution, recent neural architecture search (NAS) algorithms consider hardware cost metrics into account, such as GPU latency. To further pursue a fast, efficient execution,…

Machine Learning · Computer Science 2021-02-17 Kanghyun Choi , Deokki Hong , Hojae Yoon , Joonsang Yu , Youngsok Kim , Jinho Lee

Sparse autoencoders (SAEs) have recently become central tools for interpretability, leveraging dictionary learning principles to extract sparse, interpretable features from neural representations whose underlying structure is typically…

Machine Learning · Computer Science 2025-11-05 Valérie Costa , Thomas Fel , Ekdeep Singh Lubana , Bahareh Tolooshams , Demba Ba

Relational data mining is becoming ubiquitous in many fields of study. It offers insights into behaviour of complex, real-world systems which cannot be modeled directly using propositional learning. We propose Symbolic Graph Embedding…

Machine Learning · Computer Science 2019-10-30 Blaz Škrlj , Jan Kralj , Nada Lavrač

Symbolic trajectory evaluation (STE) is a model checking technique that has been successfully used to verify industrial designs. Existing implementations of STE, however, reason at the level of bits, allowing signals to take values in {0,…

Symbolic Regression (SR) is a powerful technique for discovering interpretable mathematical expressions. However, benchmarking SR methods remains challenging due to the diversity of algorithms, datasets, and evaluation criteria. In this…

Distant Supervised Relation Extraction (DSRE) is usually formulated as a problem of classifying a bag of sentences that contain two query entities, into the predefined relation classes. Most existing methods consider those relation classes…

Computation and Language · Computer Science 2019-12-16 Yanjie Gou , Yinjie Lei , Lingqiao Liu , Pingping Zhang , Xi Peng

With the rapid development of deep learning, recent research on intelligent and interactive mobile applications (e.g., health monitoring, speech recognition) has attracted extensive attention. And these applications necessitate the mobile…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-10-26 Bowen Pang , Sicong Liu , Hongli Wang , Bin Guo , Yuzhan Wang , Hao Wang , Zhenli Sheng , Zhongyi Wang , Zhiwen Yu

Dynamic sequential recommendation (DSR) can generate model parameters based on user behavior to improve the personalization of sequential recommendation under various user preferences. However, it faces the challenges of large parameter…

Information Retrieval · Computer Science 2024-08-02 Zheqi Lv , Shaoxuan He , Tianyu Zhan , Shengyu Zhang , Wenqiao Zhang , Jingyuan Chen , Zhou Zhao , Fei Wu

Dynamic impact analysis is a fundamental technique for understanding the impact of specific program entities, or changes to them, on the rest of the program for concrete executions. However, existing techniques are either inapplicable or of…

Software Engineering · Computer Science 2021-11-01 Haipeng Cai , Douglas Thain

Parameterizable machine learning (ML) accelerators are the product of recent breakthroughs in ML. To fully enable their design space exploration (DSE), we propose a physical-design-driven, learning-based prediction framework for…

We propose a novel deep symbolic regression approach to enhance the robustness and interpretability of data-driven mathematical expression discovery. Our work is aligned with the popular DSR framework which focuses on learning a…

Machine Learning · Computer Science 2026-03-30 Zachary Bastiani , Robert M. Kirby , Jacob Hochhalter , Shandian Zhe

Learning identifiable representations in deep generative models remains a fundamental challenge, particularly for sequential data with regime-switching dynamics. Existing approaches establish identifiability under restrictive assumptions,…

Machine Learning · Statistics 2026-05-08 Carles Balsells-Rodas , Zhengrui Xiang , Xavier Sumba , Yingzhen Li

Multimodal Sentiment Analysis (MSA) stands as a critical research frontier, seeking to comprehensively unravel human emotions by amalgamating text, audio, and visual data. Yet, discerning subtle emotional nuances within audio and video…

Computer Vision and Pattern Recognition · Computer Science 2024-12-17 Sheng Wu , Xiaobao Wang , Longbiao Wang , Dongxiao He , Jianwu Dang

Most current Deep Learning-based Semantic Communication (DeepSC) systems are designed and trained exclusively for particular single-channel conditions, which restricts their adaptability and overall bandwidth utilization. To address this,…

Networking and Internet Architecture · Computer Science 2024-10-03 Yuna Yan , Lixin Li , Xin Zhang , Wensheng Lin , Wenchi Cheng , Zhu Han

Modern neuroscience has accumulated extensive evidence on perception, memory, prediction, valuation, and consciousness, yet still lacks an explicit operational architecture capable of integrating these phenomena within a unified…

Neurons and Cognition · Quantitative Biology 2026-03-17 Ionel Cristian Vladu , Nicu Bizdoaca , Ionica Pirici , Tudor-Adrian Balseanu , Eduard Nicusor Bondoc

Neuro-symbolic artificial intelligence (NSAI) represents a transformative approach in artificial intelligence (AI) by combining deep learning's ability to handle large-scale and unstructured data with the structured reasoning of symbolic…

Artificial Intelligence · Computer Science 2025-02-18 Oualid Bougzime , Samir Jabbar , Christophe Cruz , Frédéric Demoly

The problem of function approximation by neural dynamical systems has typically been approached in a top-down manner: Any continuous function can be approximated to an arbitrary accuracy by a sufficiently complex model with a given…

Optimization and Control · Mathematics 2023-09-22 Tanya Veeravalli , Maxim Raginsky