中文
相关论文

相关论文: ML-Based Automata Simplification for Symbolic Acce…

200 篇论文

Semantic segmentation is a fundamental perception task in autonomous driving, particularly for identifying drivable areas and lane markings to enable safe navigation. However, most state-of-the-art (SOTA) models are computationally…

计算机视觉与模式识别 · 计算机科学 2026-04-28 Quang-Huy Che , Duc-Tri Le , Minh-Quan Pham , Vinh-Tiep Nguyen , Duc-Khai Lam

Recent advances in large pre-trained language models (PLMs) lead to impressive gains in natural language understanding (NLU) tasks with task-specific fine-tuning. However, directly fine-tuning PLMs heavily relies on sufficient labeled…

计算与语言 · 计算机科学 2023-03-24 Canyu Chen , Kai Shu

Scene graphs represent the key components of a scene in a compact and semantically rich way, but are difficult to build during incremental SLAM operation because of the challenges of robustly identifying abstract scene elements and…

计算机视觉与模式识别 · 计算机科学 2022-04-06 Joseph Ortiz , Talfan Evans , Edgar Sucar , Andrew J. Davison

SRAM-based compute-in-memory (CIM) offers high computational density and energy efficiency for deep neural network (DNN) accelerators, but its limited capacity causes on/off-chip data movement overhead for large DNN models. Existing CIM…

硬件体系结构 · 计算机科学 2026-04-21 Chenhao Xue , Yukun Wang , An Guo , Yuhui Shi , Jinwei Zhou , Xiping Dong , Yihan Yin , Yuanpeng Zhang , Tianyu Jia , Wei Gao , Qiang Wu , Xin Si , Jun Yang , Guangyu Sun

As an emerging field, Automated Machine Learning (AutoML) aims to reduce or eliminate manual operations that require expertise in machine learning. In this paper, a graph-based architecture is employed to represent flexible combinations of…

神经与进化计算 · 计算机科学 2019-01-24 Fei Qi , Zhaohui Xia , Gaoyang Tang , Hang Yang , Yu Song , Guangrui Qian , Xiong An , Chunhuan Lin , Guangming Shi

In the rapidly evolving landscape of artificial intelligence, large language models (LLMs) and graph processing have emerged as transformative technologies for natural language processing (NLP), computer vision, and graph-structured data…

硬件体系结构 · 计算机科学 2024-01-17 Salma Afifi , Febin Sunny , Mahdi Nikdast , Sudeep Pasricha

Autonomous systems must solve motion planning problems subject to increasingly complex, time-sensitive, and uncertain missions. These problems often involve high-level task specifications, such as temporal logic or chance constraints, which…

系统与控制 · 电气工程与系统科学 2026-04-28 Junyang Cai , Weimin Huang , Brendan Long , Matthew Cleaveland , Jyotirmoy V. Deshmukh , Lars Lindemann , Bistra Dilkina

Experts in machine learning leverage domain knowledge to navigate decisions in model selection, hyperparameter optimization, and resource allocation. This is particularly critical for fine-tuning language models (LMs), where repeated trials…

Autoencoders are unsupervised neural networks that are used to process and compress input data and then reconstruct the data back to the original data size. This allows autoencoders to be used for different processing applications such as…

机器学习 · 计算机科学 2023-01-18 Murat Isik , Matthew Oldland , Lifeng Zhou

Existing end-to-end autonomous driving models rely heavily on purely data-driven inductive reasoning. This "black-box" nature leads to a lack of interpretability and absolute safety guarantees in complex, long-tail scenarios. To overcome…

计算机视觉与模式识别 · 计算机科学 2026-03-16 Hongyan Wei , Wael AbdAlmageed

As the foundation of driverless vehicle and intelligent robots, Simultaneous Localization and Mapping(SLAM) has attracted much attention these days. However, non-geometric modules of traditional SLAM algorithms are limited by data…

计算机视觉与模式识别 · 计算机科学 2019-01-25 Rong Kang , Jieqi Shi , Xueming Li , Yang Liu , Xiao Liu

Machine learning algorithms are being used more frequently in the first-level triggers in collider experiments, with Graph Neural Networks pushing the hardware requirements of FPGA-based triggers beyond the current state of the art. To meet…

高能物理 - 实验 · 物理学 2026-02-27 Marc Neu , Isabel Haide , Torben Ferber , Jürgen Becker

Deep neural networks have gained great success due to the increasing amounts of data, and diverse effective neural network designs. However, it also brings a heavy computing burden as the amount of training data is proportional to the…

机器学习 · 计算机科学 2023-10-19 Peng Yao , Chao Liao , Jiyuan Jia , Jianchao Tan , Bin Chen , Chengru Song , Di Zhang

In modern assembly pipelines, identifying anomalies is crucial in ensuring product quality and operational efficiency. Conventional single-modality methods fail to capture the intricate relationships required for precise anomaly prediction…

Accelerating finite automata processing is critical for advancing real-time analytic in pattern matching, data mining, bioinformatics, intrusion detection, and machine learning. Recent in-memory automata accelerators leveraging SRAMs and…

硬件体系结构 · 计算机科学 2021-12-02 Yi Huang , Zhiyu Chen , Dai Li , Kaiyuan Yang

Typical LiDAR SLAM architectures feature a front-end for odometry estimation and a back-end for refining and optimizing the trajectory and map, commonly through loop closures. However, loop closure detection in large-scale missions presents…

计算机视觉与模式识别 · 计算机科学 2025-12-02 Nikolaos Stathoulopoulos , Christoforos Kanellakis , George Nikolakopoulos

Prompt learning has emerged as a promising paradigm for adapting pre-trained vision-language models (VLMs) to few-shot whole slide image (WSI) classification by aligning visual features with textual representations, thereby reducing…

计算机视觉与模式识别 · 计算机科学 2025-10-01 Junjie Zhou , Wei Shao , Yagao Yue , Wei Mu , Peng Wan , Qi Zhu , Daoqiang Zhang

The necessity of abundant annotated data and complex network architectures presents a significant challenge in deep-learning Salient Object Detection (deep SOD) and across the broader deep-learning landscape. This challenge is particularly…

计算机视觉与模式识别 · 计算机科学 2025-04-16 Felipe Crispim Salvagnini , Jancarlo F. Gomes , Cid A. N. Santos , Silvio Jamil F. Guimarães , Alexandre X. Falcão

Solving sparse systems of linear equations is a fundamental problem in the field of numerical methods, with applications spanning from circuit design to urban planning. These problems can have millions of constraints, such as when laying…

硬件体系结构 · 计算机科学 2025-09-16 Rishab Parthasarathy

This paper proposes a novel approach to few-shot semantic segmentation for machinery with multiple parts that exhibit spatial and hierarchical relationships. Our method integrates the foundation models CLIPSeg and Segment Anything Model…

计算机视觉与模式识别 · 计算机科学 2025-01-20 Michael Schwingshackl , Fabio Francisco Oberweger , Markus Murschitz