English
Related papers

Related papers: Lifting Network Protocol Implementation to Precise…

200 papers

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…

Computation and Language · Computer Science 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…

Cryptography and Security · Computer Science 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…

Cryptography and Security · Computer Science 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…

Computer Vision and Pattern Recognition · Computer Science 2025-11-04 Aleksander Ogonowski , Michał Żebrowski , Arkadiusz Ćwiek , Tobiasz Jarosiewicz , Konrad Klimaszewski , Adam Padee , Piotr Wasiuk , Michał Wójcik

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…

Computer Vision and Pattern Recognition · Computer Science 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…

Computer Vision and Pattern Recognition · Computer Science 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…

Programming Languages · Computer Science 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.…

Systems and Control · Electrical Eng. & Systems 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…

Methodology · Statistics 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…

Methodology · Statistics 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…

Networking and Internet Architecture · Computer Science 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…

Programming Languages · Computer Science 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…

Computer Vision and Pattern Recognition · Computer Science 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…

Computer Vision and Pattern Recognition · Computer Science 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…

Machine Learning · Computer Science 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…

Methodology · Statistics 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…

Cryptography and Security · Computer Science 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…

Information Retrieval · Computer Science 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…

Computer Vision and Pattern Recognition · Computer Science 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…

‹ Prev 1 4 5 6 7 8 10 Next ›