中文
相关论文

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

200 篇论文

Fragment-based shape signature techniques have proven to be powerful tools for computer-aided drug design. They allow scientists to search for target molecules with some similarity to a known active compound. They do not require reference…

人工智能 · 计算机科学 2022-01-05 Thierry Petit , Randy J. Zauhar

Image inpainting has made significant advances in recent years. However, it is still challenging to recover corrupted images with both vivid textures and reasonable structures. Some specific methods only tackle regular textures while losing…

计算机视觉与模式识别 · 计算机科学 2022-03-17 Qiaole Dong , Chenjie Cao , Yanwei Fu

This article introduces a novel communication scheme, termed coded compressed sensing, for unsourced multiple-access communication. The proposed divide-and-conquer approach leverages recent advances in compressed sensing and forward error…

信号处理 · 电气工程与系统科学 2019-06-26 Vamsi K. Amalladinne , Jean-Francois Chamberland , Krishna R. Narayanan

New Attacks are increasingly used by attackers everyday but many of them are not detected by Intrusion Detection Systems as most IDS ignore raw packet information and only care about some basic statistical information extracted from PCAP…

密码学与安全 · 计算机科学 2023-04-04 Khloud Al Jallad

4G and 5G represent the current cellular communication standards utilized daily by billions of users for various applications. Consequently, ensuring the security of 4G and 5G network implementations is critically important. This paper…

密码学与安全 · 计算机科学 2024-10-29 Ilja Siroš , Dave Singelée , Bart Preneel

The traditional abstract domain framework for imperative programs suffers from several shortcomings; in particular it does not allow precise symbolic abstractions. To solve these problems, we propose a new abstract interpretation framework,…

软件工程 · 计算机科学 2018-01-01 Matthieu Lemerre , Sébastien Bardin

Recovering latent structure from count data has received considerable attention in network inference, particularly when one seeks both cross-group interactions and within-group similarity patterns in bipartite networks, which is widely used…

机器学习 · 统计学 2026-04-27 Aoran Zhang , Tianyao Wei , Maria J. Guerrero , César A. Uribe

Diffusion model deployment has been suffering from high energy consumption and inference latency despite its superior performance in visual generation tasks. Dynamic voltage and frequency scaling (DVFS) offers a promising solution to…

硬件体系结构 · 计算机科学 2026-04-13 Jinqi Wen , Tong Xie , Runsheng Wang , Meng Li

Deep neural networks are an extremely successful and widely used technique for various pattern recognition and machine learning tasks. Due to power and resource constraints, these computationally intensive networks are difficult to…

分布式、并行与集群计算 · 计算机科学 2018-10-02 Thorbjörn Posewsky , Daniel Ziener

We propose a sparse-coding framework for activity recognition in ubiquitous and mobile computing that alleviates two fundamental problems of current supervised learning approaches. (i) It automatically derives a compact, sparse and…

机器学习 · 计算机科学 2014-07-24 Sourav Bhattacharya , Petteri Nurmi , Nils Hammerla , Thomas Plötz

It has been demonstrated that networks' parameters can be significantly reduced in the frequency domain with a very small decrease in accuracy. However, given the cost of frequency transforms, the computational complexity is not…

计算机视觉与模式识别 · 计算机科学 2024-10-08 Chenqiu Zhao , Guanfang Dong , Anup Basu

Sparse attention methods exploit the inherent sparsity in attention to speed up the prefilling phase of long-context inference, mitigating the quadratic complexity of full attention computation. While existing sparse attention methods rely…

机器学习 · 计算机科学 2025-05-27 Dan Peng , Zhihui Fu , Zewen Ye , Zhuoran Song , Jun Wang

Detecting unusual patterns in graph data is a crucial task in data mining. However, existing methods face challenges in consistently achieving satisfactory performance and often lack interpretability, which hinders our understanding of…

机器学习 · 计算机科学 2024-06-28 Yifei Yang , Peng Wang , Xiaofan He , Dongmian Zou

Nowadays, threat reports from cybersecurity vendors incorporate detailed descriptions of attacks within unstructured text. Knowing vulnerabilities that are related to these reports helps cybersecurity researchers and practitioners…

密码学与安全 · 计算机科学 2024-07-12 Refat Othman , Bruno Rossi , Russo Barbara

Large language models spend most of their inference cost on attention over long contexts, yet empirical behavior suggests that only a small subset of tokens meaningfully contributes to each query. We formalize this phenomenon by modeling…

人工智能 · 计算机科学 2026-02-17 Vashista Nobaub

Cache coherence protocols based on self-invalidation and self-downgrade have recently seen increased popularity due to their simplicity, potential performance efficiency, and low energy consumption. However, such protocols result in memory…

计算机科学中的逻辑 · 计算机科学 2023-06-22 Parosh Aziz Abdulla , Mohamed Faouzi Atig , Stefanos Kaxiras , Carl Leonardsson , Alberto Ros , Yunyun Zhu

Network covert channels are used to hide communication inside network protocols. Within the last decades, various techniques for covert channels arose. We surveyed and analyzed 109 techniques developed between 1987 and 2013 and show that…

密码学与安全 · 计算机科学 2021-03-19 Steffen Wendzel , Sebastian Zander , Bernhard Fechner , Christian Herdin

Uncertainty quantification for estimation through stochastic optimization solutions in an online setting has gained popularity recently. This paper introduces a novel inference method focused on constructing confidence intervals with…

机器学习 · 统计学 2026-03-24 Wanrong Zhu , Zhipeng Lou , Ziyang Wei , Wei Biao Wu

Network science provides valuable insights across numerous disciplines including sociology, biology, neuroscience and engineering. A task of major practical importance in these application domains is inferring the network structure from…

机器学习 · 计算机科学 2019-05-01 Vassilis N. Ioannidis , Yanning Shen , Georgios B. Giannakis

Quick UDP Internet Connection (QUIC) is an emerging end-to-end encrypted, transport-layer protocol, which has been increasingly adopted by popular web services to improve communication security and quality of experience (QoE) towards…

密码学与安全 · 计算机科学 2023-10-18 Qianqian Zhang , Chi-Jiun Su