中文
相关论文

相关论文: From High-Level Types to Low-Level Monitors: Synth…

200 篇论文

Large language models (LLMs) enforce safety alignment to reliably refuse malicious requests, yet the same blanket safeguards also block legitimate uses in policing, defense, and other high-stakes settings. Earlier "refusal-direction" edits…

机器学习 · 计算机科学 2025-09-17 Xin Tong , Zhi Lin , Jingya Wang , Meng Han , Bo Jin

Deep learning-based perception pipelines in autonomous ground vehicles are vulnerable to both adversarial manipulation and network-layer disruption. We present a systematic, on-hardware experimental evaluation of five attack classes: FGSM,…

密码学与安全 · 计算机科学 2026-03-17 Viet K. Nguyen , Nathan Lee , Mohammad Husain

Training Vision Language Models (VLMs) for video event reasoning requires high-quality structured annotations capturing not only what happened, but when, where, why, and with what consequence, at a scale manual labelling cannot support. We…

计算机视觉与模式识别 · 计算机科学 2026-05-22 Han Zhang , Wanting Jiang , Tomasz Kornuta , Tian Zheng , Vidya Murali

Recent advancements in wireless technologies towards the next-generation cellular networks have brought a new era that made it possible to apply cellular technology on traditionally-wired networks with tighter requirements, such as…

网络与互联网体系结构 · 计算机科学 2023-09-19 Kerim Gökarslan

This paper introduces a Nonlinear Model Predictive Control (NMPC) framework for communication-aware motion planning of Multi-Rotor Aerial Vehicles (MRAVs) using Free-Space Optical (FSO) links. The scenario involves MRAVs equipped with…

机器人学 · 计算机科学 2026-01-30 Giuseppe Silano , Daniel Bonilla Licea , Hajar El Hammouti , Martin Saska

Aircraft are composed of many electronic systems: sensors, displays, navigation equipment and communication elements. These elements require a reliable interconnection, which is a major challenge for communication networks as high…

网络与互联网体系结构 · 计算机科学 2025-01-23 Pablo Vera-Soto , Javier Villegas , Sergio Fortes , José Pulido , Vicente Escaño , Rafael Ortiz , Raquel Barco

Autonomous systems are often complex and prone to software failures and cyber-attacks. We introduce RVAFTs, an extension of Attack-Fault Trees (AFTs) with runtime events that can be used to construct runtime monitors. These monitors are…

软件工程 · 计算机科学 2022-09-29 Rafael C. Cardoso , Angelo Ferrando , Michael Fisher

Current safety alignment of foundation models largely follows a \emph{one-size-fits-all} paradigm, applying the same refusal policy across users and contexts. As a result, models may refuse requests that are unsafe for general users but…

人工智能 · 计算机科学 2026-05-26 Qitao Tan , Xiaoying Song , Arman Akbari , Arash Akbari , Yanzhi Wang , Xiaoming Zhai , Lingzi Hong , Zhen Xiang , Jin Lu , Geng Yuan

Neural Networks (NNs) trained through supervised learning struggle with managing edge-case scenarios common in real-world driving due to the intractability of exhaustive datasets covering all edge-cases, making knowledge-driven approaches,…

人工智能 · 计算机科学 2025-04-17 Nicolas Baumann , Cheng Hu , Paviththiren Sivasothilingam , Haotong Qin , Lei Xie , Michele Magno , Luca Benini

Vision Language Models (VLMs) are becoming increasingly integral to multimedia understanding; however, they often struggle with domain-specific video classification tasks, particularly in cases with limited data. This stems from a critical…

计算机视觉与模式识别 · 计算机科学 2025-11-21 Meilong Xu , Di Fu , Jiaxing Zhang , Gong Yu , Jiayu Zheng , Xiaoling Hu , Dongdi Zhao , Feiyang Li , Chao Chen , Yong Cao

Pilot readback of Air Traffic Control (ATC) voice instructions is a primary safeguard against miscommunication in air transportation. However, readback anomalies remain implicated in approximately 80% of aviation incidents. This…

机器学习 · 计算机科学 2026-05-29 Qihan Deng , Minghua Zhang , Yang Yang , Zhenyu Gao

Cellular Vehicle-to-Everything (C-V2X) technology enables low-latency, reliable communications essential for safety applications such as a Forward Collision Warning (FCW) system. C-V2X deployments operate under strict protocol compliance…

密码学与安全 · 计算机科学 2026-04-29 Jean Michel Tine , Mohammed Aldeen , Abyad Enan , M Sabbir Salek , Long Cheng , Mashrur Chowdhury

Evaluating vision-language models (VLMs) in urban driving contexts remains challenging, as existing benchmarks rely on open-ended responses that are ambiguous, annotation-intensive, and inconsistent to score. This lack of standardized…

计算机视觉与模式识别 · 计算机科学 2025-10-07 Boshra Khalili , Andrew W. Smyth

Decentralized inference provides a scalable and resilient paradigm for serving large language models (LLMs), enabling fragmented global resource utilization and reducing reliance on centralized providers. However, in a permissionless…

密码学与安全 · 计算机科学 2026-01-23 Ke Wang , Zishuo Zhao , Xinyuan Song , Zelin Li , Libin Xia , Chris Tong , Bill Shi , Wenjie Qu , Eric Yang , Lynn Ai

Rate-Splitting Multiple Access (RSMA) has recently found favour in the multi-antenna-aided wireless downlink, as a benefit of relaxing the accuracy of Channel State Information at the Transmitter (CSIT), while in achieving high spectral…

网络与互联网体系结构 · 计算机科学 2022-12-14 Shengyu Zhang , Shiyao Zhang , Weijie Yuan , Yonghui Li , Lajos Hanzo

Existing Large Language Model (LLM) approaches to SystemVerilog Assertion (SVA) generation primarily focus on syntactic validity and formal verification outcomes, while semantic alignment between generated assertions and natural language…

人工智能 · 计算机科学 2026-05-26 Jaime Rafael Imperial , Hao Zheng

Safety alignment in Large Language Models (LLMs) inherently presents a multi-objective optimization conflict, often accompanied by an unintended degradation of general capabilities. Existing mitigation strategies typically rely on global…

机器学习 · 计算机科学 2026-01-09 Wang Cai , Yilin Wen , Jinchang Hou , Du Su , Guoqiu Wang , Zhonghou Lv , Chenfu Bao , Yunfang Wu

Semantic communication (SemCom), as an emerging paradigm focusing on meaning delivery, has recently been considered a promising solution for the inevitable crisis of scarce communication resources. This trend stimulates us to explore the…

系统与控制 · 电气工程与系统科学 2024-10-28 Le Xia , Yao Sun , Dusit Niyato , Daquan Feng , Lei Feng , Muhammad Ali Imran

With Transformers achieving outstanding performance on individual remote sensing (RS) tasks, we are now approaching the realization of a unified model that excels across multiple tasks through multi-task learning (MTL). Compared to…

计算机视觉与模式识别 · 计算机科学 2026-01-12 Qingyun Li , Shuran Ma , Junwei Luo , Yi Yu , Yue Zhou , Fengxiang Wang , Xudong Lu , Xiaoxing Wang , Xin He , Yushi Chen , Xue Yang

Voice-controlled dialog systems have become immensely popular due to their ability to perform a wide range of actions in response to diverse user queries. These agents possess a predefined set of skills or intents to fulfill specific user…

计算与语言 · 计算机科学 2026-03-17 Ankan Mullick , Sukannya Purkayastha , Saransh Sharma , Pawan Goyal , Niloy Ganguly
‹ 上一页 1 8 9 10 下一页 ›