中文
相关论文

相关论文: Lifting Network Protocol Implementation to Precise…

200 篇论文

Long-context modeling is a pivotal capability for Large Language Models, yet the quadratic complexity of attention remains a critical bottleneck, particularly during the compute-intensive prefilling phase. While various sparse attention…

计算与语言 · 计算机科学 2026-03-09 Qihang Fan , Huaibo Huang , Zhiying Wu , Juqiu Wang , Bingning Wang , Ran He

Critical and sophisticated cyberattacks often take multitudes of reconnaissance, exploitations, and obfuscation techniques to penetrate through well protected enterprise networks. The discovery and detection of attacks, though needing…

密码学与安全 · 计算机科学 2021-03-26 Shanchieh Jay Yang , Ahmet Okutan , Gordon Werner , Shao-Hsuan Su , Ayush Goel , Nathan D. Cahill

Application of deep learning to enhance the accuracy of intrusion detection in modern computer networks were studied in this paper. The identification of attacks in computer networks is divided in to two categories of intrusion detection…

密码学与安全 · 计算机科学 2020-12-16 Jafar Majidpour , Hiwa Hasanzadeh

Most of the intrusion detection methods in computer networks are based on traffic flow characteristics. However, this approach may not fully exploit the potential of deep learning algorithms to directly extract features and patterns from…

The recent success of NeRF and other related implicit neural representation methods has opened a new path for continuous image representation, where pixel values no longer need to be looked up from stored discrete 2D arrays but can be…

计算机视觉与模式识别 · 计算机科学 2022-07-06 Xingqian Xu , Zhangyang Wang , Humphrey Shi

Unsupervised image registration commonly adopts U-Net style networks to predict dense displacement fields in the full-resolution spatial domain. For high-resolution volumetric image data, this process is however resource-intensive and…

计算机视觉与模式识别 · 计算机科学 2023-07-07 Xi Jia , Joseph Bartlett , Wei Chen , Siyang Song , Tianyang Zhang , Xinxing Cheng , Wenqi Lu , Zhaowen Qiu , Jinming Duan

Asynchronous message-passing systems are employed frequently to implement distributed mechanisms, protocols, and processes. This paper addresses the problem of precise data flow analysis for such systems. To obtain good precision, data flow…

编程语言 · 计算机科学 2021-01-26 Snigdha Athaiya , Raghavan Komondoor , K Narayan Kumar

Fault detection has a long tradition: the necessity to provide the most accurate diagnosis possible for a process plant criticality is somehow intrinsic in its functioning. Continuous monitoring is a possible way for early detection.…

系统与控制 · 电气工程与系统科学 2024-01-22 Martina Teruzzi , Nicola Demo , Gianluigi Rozza

Graphical models have found widespread applications in many areas of modern statistics and machine learning. Iterative Proportional Fitting (IPF) and its variants have become the default method for undirected graphical model estimation, and…

统计方法学 · 统计学 2024-08-22 Kshitij Khare , Syed Rahman , Bala Rajaratnam , Jiayuan Zhou

Expectation propagation is a general approach to fast approximate inference for graphical models. The existing literature treats models separately when it comes to deriving and coding expectation propagation inference algorithms. This comes…

统计方法学 · 统计学 2018-01-17 Wilson Y. Chen , Matt P. Wand

In recent years, sequence features such as packet length have received considerable attention due to their central role in encrypted traffic analysis. Existing sequence modeling approaches can be broadly categorized into flow-level and…

网络与互联网体系结构 · 计算机科学 2025-12-17 Youquan Xian , Xueying Zeng , Aoxiang Zhou , Jinqiao Shi , Zhiyu Hao , Lei Cui , Peng Liu

We consider the problem of making expressive static analyzers interactive. Formal static analysis is seeing increasingly widespread adoption as a tool for verification and bug-finding, but even with powerful cloud infrastructure it can take…

编程语言 · 计算机科学 2021-04-08 Benno Stein , Bor-Yuh Evan Chang , Manu Sridharan

Implicit Neural Representations (INRs) are a novel paradigm for signal representation that have attracted considerable interest for image compression. INRs offer unprecedented advantages in signal resolution and memory efficiency, enabling…

计算机视觉与模式识别 · 计算机科学 2025-10-16 Marcos V. Conde , Andy Bigos , Radu Timofte

Identifying defect patterns in a wafer map during manufacturing is crucial to find the root cause of the underlying issue and provides valuable insights on improving yield in the foundry. Currently used methods use deep neural networks to…

计算机视觉与模式识别 · 计算机科学 2023-10-18 Nitish Shukla

Embedding image features into a binary Hamming space can improve both the speed and accuracy of large-scale query-by-example image retrieval systems. Supervised hashing aims to map the original features to compact binary codes in a manner…

机器学习 · 计算机科学 2016-11-17 Guosheng Lin , Chunhua Shen , Anton van den Hengel

Coverage analysis is essential for validating the safety of autonomous driving systems, yet existing approaches typically assess coverage factors individually or in limited combinations, struggling to capture the complex interactions…

统计方法学 · 统计学 2026-02-03 Thomas Muehlenstädt , Marius Bause

An approach for real-time network monitoring in terms of numerical time-dependant functions of protocol parameters is suggested. Applying complex systems theory for information f{l}ow analysis of networks, the information traffic is…

密码学与安全 · 计算机科学 2007-05-23 Vladimir Gudkov , Joseph E. Johnson

Legal case retrieval plays an important role for legal practitioners to effectively retrieve relevant cases given a query case. Most existing neural legal case retrieval models directly encode the whole legal text of a case to generate a…

信息检索 · 计算机科学 2023-09-07 Yanran Tang , Ruihong Qiu , Xue Li

Implicit Neural Representations (INRs) have emerged as a powerful paradigm for various signal processing tasks, but their inherent spectral bias limits the ability to capture high-frequency details. Existing methods partially mitigate this…

计算机视觉与模式识别 · 计算机科学 2026-03-03 Junbo Ke , Yangyang Xu , You-Wei Wen , Chao Wang

We design iterative receiver schemes for a generic wireless communication system by treating channel estimation and information decoding as an inference problem in graphical models. We introduce a recently proposed inference framework that…