English
Related papers

Related papers: ML-Based Automata Simplification for Symbolic Acce…

200 papers

A multi-cell cluster-free NOMA framework is proposed, where both intra-cell and inter-cell interference are jointly mitigated via flexible cluster-free successive interference cancellation (SIC) and coordinated beamforming design. The joint…

Signal Processing · Electrical Eng. & Systems 2022-12-26 Xiaoxia Xu , Yuanwei Liu , Qimei Chen , Xidong Mu , Zhiguo Ding

Process anomaly detection is an important application of process mining for identifying deviations from the normal behavior of a process. Neural network-based methods have recently been applied to this task, learning directly from event…

Machine Learning · Computer Science 2026-04-02 Devashish Gaikwad , Wil M. P. van der Aalst , Gyunam Park

A typical optimization of customized accelerators for error-tolerant applications such as multimedia, recognition, and classification is to replace traditional arithmetic units like multipliers and adders with the approximate ones to…

Hardware Architecture · Computer Science 2024-07-17 Qing Zhang , Cheng Liu , Siting Liu , Yajuan Hui , Huawei Li , Xiaowei Li

We consider the application of the factor graph framework for symbol detection on linear inter-symbol interference channels. Based on the Ungerboeck observation model, a detection algorithm with appealing complexity properties can be…

Information Theory · Computer Science 2022-11-28 Luca Schmid , Laurent Schmalen

Field-Programmable Gate Array (FPGA) accelerators have proven successful in handling latency- and resource-critical deep neural network (DNN) inference tasks. Among the most computationally intensive operations in a neural network (NN) is…

Hardware Architecture · Computer Science 2024-12-10 Marta Andronic , George A. Constantinides

This paper introduces SpeedLLM, a neural network accelerator designed on the Xilinx Alevo U280 platform and optimized for the Tinyllama framework to enhance edge computing performance. Key innovations include data stream parallelism, a…

Hardware Architecture · Computer Science 2025-07-22 Peipei Wang , Wu Guan , Liping Liang , Zhijun Wang , Hanqing Luo , Zhibin Zhang

In this work, a data-driven framework based on Phase-Field simulations data is proposed to highlight the capabilities of neural networks to ensure accurate low dimensionality reduction of simulated microstructural images and to provide…

The Segment Anything Model (SAM) has advanced interactive segmentation but is limited by the high computational cost on high-resolution images. This requires downsampling to meet GPU constraints, sacrificing the fine-grained details needed…

Computer Vision and Pattern Recognition · Computer Science 2024-11-26 You Huang , Wenbin Lai , Jiayi Ji , Liujuan Cao , Shengchuan Zhang , Rongrong Ji

Decision making in automated driving is highly specific to the environment and thus semantic segmentation plays a key role in recognizing the objects in the environment around the car. Pixel level classification once considered a…

Computer Vision and Pattern Recognition · Computer Science 2019-03-25 Sumanth Chennupati , Ganesh Sistu , Senthil Yogamani , Samir Rawashdeh

Graphics Processing Units (GPUs) have become the leading hardware accelerator for deep learning applications and are used widely in training and inference of transformers; transformers have achieved state-of-the-art performance in many…

Hardware Architecture · Computer Science 2024-05-03 Andy He , Darren Key , Mason Bulling , Andrew Chang , Skyler Shapiro , Everett Lee

Simultaneous localisation and mapping (SLAM) play a vital role in autonomous robotics. Robotic platforms are often resource-constrained, and this limitation motivates resource-efficient SLAM implementations. While sparse visual SLAM…

Robotics · Computer Science 2023-07-06 Christiaan J. Müller , Corné E. van Daalen

Active SLAM is the task of actively planning robot paths while simultaneously building a map and localizing within. Existing work has focused on planning paths with occupancy grid maps, which do not scale well and suffer from long term…

Robotics · Computer Science 2016-08-30 Beipeng Mu , Matthew Giamou , Liam Paull , Ali-akbar Agha-mohammadi , John Leonard , Jonathan How

We address the critical challenge of applying feature attribution methods to the transformer architecture, which dominates current applications in natural language processing and beyond. Traditional attribution methods to explainable AI…

Machine Learning · Computer Science 2025-01-10 Tobias Leemann , Alina Fastowski , Felix Pfeiffer , Gjergji Kasneci

Large language models (LLMs) have demonstrated their strong capabilities in various domains, and have been recently integrated for graph analysis as graph language models (GLMs). With LLMs as the predictor, some GLMs can interpret unseen…

Computation and Language · Computer Science 2025-06-30 Junze Chen , Cheng Yang , Shujie Li , Zhiqiang Zhang , Yawen Li , Junping Du , Chuan Shi

Training Graph Neural Networks(GNNs) on a large monolithic graph presents unique challenges as the graph cannot fit within a single machine and it cannot be decomposed into smaller disconnected components. Distributed sampling-based…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-11-30 Hesham Mostafa , Adam Grabowski , Md Asadullah Turja , Juan Cervino , Alejandro Ribeiro , Nageen Himayat

Automatic data augmentation (AutoDA) plays an important role in enhancing the generalization of neural networks. However, mainstream AutoDA methods often encounter two challenges: either the search process is excessively time-consuming,…

Computer Vision and Pattern Recognition · Computer Science 2025-08-12 Anqi Xiao , Weichen Yu , Hongyuan Yu

Automated agent workflows can enhance the problem-solving ability of large language models (LLMs), but common search strategies rely on stochastic exploration and often traverse implausible branches. This occurs because current pipelines…

Artificial Intelligence · Computer Science 2026-01-21 Qitong Fang , Haotian Li , Xu Wang

Approximate subgraph matching (ASM) is a task that determines the approximate presence of a given query graph in a large target graph. Being an NP-hard problem, ASM is critical in graph analysis with a myriad of applications ranging from…

Machine Learning · Computer Science 2026-03-20 Kaiyang Li , Shihao Ji , Zhipeng Cai , Wei Li

This paper presents Prism, the first symbolic superoptimizer for tensor programs. The key idea is sGraph, a symbolic, hierarchical representation that compactly encodes large classes of tensor programs by symbolically representing some…

Programming Languages · Computer Science 2026-04-17 Mengdi Wu , Xiaoyu Jiang , Oded Padon , Zhihao Jia

The research paper presents a novel approach to optimizing the tensile stress of Triply Periodic Minimal Surface (TPMS) structures through machine learning and Simulated Annealing (SA). The study evaluates the performance of Random Forest,…

Materials Science · Physics 2024-06-11 Akshansh Mishra
‹ Prev 1 3 4 5 6 7 10 Next ›