English
Related papers

Related papers: VEIL: Reading Control Flow Graphs Like Code

200 papers

Knitting, an ancient fiber art, creates a structured fabric consisting of loops or stitches. Publishing hand knitting patterns involves lengthy testing periods and numerous knitters. Modeling knitting patterns with graphs can help expedite…

Human-Computer Interaction · Computer Science 2024-06-21 Kathryn Gray , Brian Bell , Stephen Kobourov

Circuit cutting is a promising technique that leverages both quantum and classical computational resources, enabling the practical execution of large quantum circuits on noisy intermediate-scale quantum (NISQ) hardware. Recent approaches…

Quantum Physics · Physics 2026-04-15 Shuwen Kan , Yanni Li , Hao Wang , Sara Mouradian , Ying Mao

We investigate the explainability of graph neural networks (GNNs) as a step toward elucidating their working mechanisms. While most current methods focus on explaining graph nodes, edges, or features, we argue that, as the inherent…

Machine Learning · Computer Science 2024-01-02 Shurui Gui , Hao Yuan , Jie Wang , Qicheng Lao , Kang Li , Shuiwang Ji

In this paper, we investigate the problem of automatically controllable artistic character line drawing generation from photographs by proposing a Vector Flow Aware and Line Controllable Image-to-Image Translation architecture, which can be…

Computer Vision and Pattern Recognition · Computer Science 2023-08-25 Chengyu Fang , Xianfeng Han

Through legislation and technical advances users gain more control over how their data is processed, and they expect online services to respect their privacy choices and preferences. However, data may be processed for many different…

Databases · Computer Science 2024-03-19 Dorota Filipczuk , Enrico H. Gerding , George Konstantinidis

The growing demand for automated graph algorithm reasoning has attracted increasing attention in the large language model (LLM) community. Recent LLM-based graph reasoning methods typically decouple task descriptions from graph data,…

Software Engineering · Computer Science 2026-03-10 Fali Wang , Chenglin Weng , Xianren Zhang , Siyuan Hong , Hui Liu , Suhang Wang

Graphs are a natural representation for systems based on relations between connected entities. Combinatorial optimization problems, which arise when considering an objective function related to a process of interest on discrete structures,…

Machine Learning · Computer Science 2024-08-21 Victor-Alexandru Darvariu , Stephen Hailes , Mirco Musolesi

Computer programming textbooks and software documentations often contain flowcharts to illustrate the flow of an algorithm or procedure. Modern OCR engines often tag these flowcharts as graphics and ignore them in further processing. In…

Computer Vision and Pattern Recognition · Computer Science 2025-01-30 Shreya Shukla , Prajwal Gatti , Yogesh Kumar , Vikash Yadav , Anand Mishra

Researchers in the humanities are among the many who are now exploring the world of big data. They have begun to use programming languages like Python or R and their corresponding libraries to manipulate large data sets and discover brand…

Software Engineering · Computer Science 2020-07-30 Dewi Yokelson

Analytics on large-scale graphs have posed significant challenges to computational efficiency and resource requirements. Recently, Graph condensation (GC) has emerged as a solution to address challenges arising from the escalating volume of…

Machine Learning · Computer Science 2024-02-06 Hongjia Xu , Liangliang Zhang , Yao Ma , Sheng Zhou , Zhuonan Zheng , Bu Jiajun

Recently there has been a surge of interest in designing graph embedding methods. Few, if any, can scale to a large-sized graph with millions of nodes due to both computational complexity and memory requirements. In this paper, we relax…

Artificial Intelligence · Computer Science 2020-08-17 Jiongqian Liang , Saket Gurukar , Srinivasan Parthasarathy

Recently, there has been a surge of interest in employing neural networks for graph generation, a fundamental statistical learning problem with critical applications like molecule design and community analysis. However, most approaches…

Machine Learning · Computer Science 2024-07-31 Yunhui Jang , Seul Lee , Sungsoo Ahn

Graph vertex ordering is widely employed in spatial data analysis, especially in urban analytics, where street graphs serve as spatial discretization for modeling and simulation. It is also crucial for visualization, as many methods require…

Graphics · Computer Science 2025-10-23 Karelia Salinas , Victor Barella , Thales Viera , Luis Gustavo Nonato

Text logo design heavily relies on the creativity and expertise of professional designers, in which arranging element layouts is one of the most important procedures. However, this specific task has received limited attention, often…

Computer Vision and Pattern Recognition · Computer Science 2025-08-05 Junwen He , Yifan Wang , Lijun Wang , Huchuan Lu , Jun-Yan He , Chenyang Li , Hanyuan Chen , Jin-Peng Lan , Bin Luo , Yifeng Geng

In this article, we present our improved algorithm for error localization from counterexamples, LocFaults, flow-driven and constraint-based. This algorithm analyzes the paths of CFG (Control Flow Graph) of the erroneous program to calculate…

Software Engineering · Computer Science 2015-05-26 Mohammed Bekkouche , Hélène Collavizza , Michel Rueher

Detecting defects and vulnerabilities in the early stage has long been a challenge in software engineering. Static analysis, a technique that inspects code without execution, has emerged as a key strategy to address this challenge. Among…

Software Engineering · Computer Science 2024-06-13 Zhengyao Liu , Xitong Zhong , Xingjing Deng , Shuo Hong , Xiang Gao , Hailong Sun

Classifier-Free Guidance (CFG) has been a default technique in various visual generative models, yet it requires inference from both conditional and unconditional models during sampling. We propose to build visual models that are free from…

Computer Vision and Pattern Recognition · Computer Science 2025-08-26 Huayu Chen , Kai Jiang , Kaiwen Zheng , Jianfei Chen , Hang Su , Jun Zhu

Searching for a path between two nodes in a graph is one of the most well-studied and fundamental problems in computer science. In numerous domains such as robotics, AI, or biology, practitioners develop search heuristics to accelerate…

Machine Learning · Computer Science 2023-01-12 Michal Pándy , Weikang Qiu , Gabriele Corso , Petar Veličković , Rex Ying , Jure Leskovec , Pietro Liò

The detection of network flows that send excessive amounts of traffic is of increasing importance to enforce QoS and to counter DDoS attacks. Large-flow detection has been previously explored, but the proposed approaches can be used on…

Networking and Internet Architecture · Computer Science 2018-07-17 Hao Wu , Hsu-Chun Hsiao , Daniele E. Asoni , Simon Scherrer , Adrian Perrig , Yih-Chun Hu

Recent empirical research has indicated that human graph reading performance improves when crossing angles increase. However, crossing angle has not been used as an aesthetic criterion for graph drawing algorithms so far. In this paper, we…

Human-Computer Interaction · Computer Science 2010-12-22 Peter Eades , Weidong Huang , Seok-Hee Hong
‹ Prev 1 3 4 5 6 7 10 Next ›