English
Related papers

Related papers: Semantics for 2D Rasterization

200 papers

Fuzzing is a powerful technique for finding bugs in software libraries, but scaling it remains difficult. Automated harness generation commits to fixed API sequences at synthesis time, limiting the behaviors each harness can test.…

Software Engineering · Computer Science 2026-02-24 Harrison Green , Fraser Brown , Claire Le Goues

Graph-RAG improves LLM reasoning using structured knowledge, yet conventional designs rely on a centralized knowledge graph. In distributed and access-restricted settings (e.g., hospitals or multinational organizations), retrieval must…

Artificial Intelligence · Computer Science 2026-02-10 Longkun Li , Yuanben Zou , Jinghan Wu , Yuqing Wen , Jing Li , Hangwei Qian , Ivor Tsang

Register allocation has long been formulated as a graph coloring problem, coloring the conflict graph with physical registers. Such a formulation does not fully capture the goal of the allocation, which is to minimize the traffic between…

Programming Languages · Computer Science 2012-02-27 Yin Wang , R. Kent Dybvig

In this paper, we explore the unique modality of sketch for explainability, emphasising the profound impact of human strokes compared to conventional pixel-oriented studies. Beyond explanations of network behavior, we discern the genuine…

Computer Vision and Pattern Recognition · Computer Science 2024-03-15 Hmrishav Bandyopadhyay , Pinaki Nath Chowdhury , Ayan Kumar Bhunia , Aneeshan Sain , Tao Xiang , Yi-Zhe Song

Code summarization aims to generate concise natural language descriptions for source code. Deep learning has been used more and more recently in software engineering, particularly for tasks like code creation and summarization.…

Software Engineering · Computer Science 2025-01-27 Md. Ahnaf Akib , Md. Muktadir Mazumder , Salman Ahsan

Gaussian Splatting has recently become one of the most popular frameworks for photorealistic 3D scene reconstruction and rendering. While current rasterizers allow for efficient mappings of 3D Gaussian splats onto 2D camera views, this work…

Computer Vision and Pattern Recognition · Computer Science 2026-04-21 Daniel Lieber , Alexander Mock , Nils Wandel

To remain useful for their users, software systems need to continuously enhance and extend their functionality. Nevertheless, in many object-oriented applications, features are not represented explicitly. The lack of modularization is known…

Software Engineering · Computer Science 2014-07-07 T. Pandiyavathi

A program schema defines a class of programs, all of which have identical statement structure, but whose functions and predicates may differ. A schema thus defines an entire class of programs according to how its symbols are interpreted. A…

Logic in Computer Science · Computer Science 2017-05-29 Sebastian Danicic , Robert M Hierons , Michael R Laurence

As Web sites are now ordinary products, it is necessary to explicit the notion of quality of a Web site. The quality of a site may be linked to the easiness of accessibility and also to other criteria such as the fact that the site is up to…

Information Retrieval · Computer Science 2007-05-23 Thierry Despeyroux

In this paper, we analyze different preconditionings designed to enhance robustness of pure-pixel search algorithms, which are used for blind hyperspectral unmixing and which are equivalent to near-separable nonnegative matrix factorization…

Machine Learning · Statistics 2015-05-29 Nicolas Gillis , Wing-Kin Ma

Code analysis is fundamental in Software Engineering, supporting debugging, optimization, and security assessment. Human developers approach it through syntax parsing, static semantics inference, and dynamic reasoning. Traditional tools are…

Software Engineering · Computer Science 2026-05-22 Wei Ma , Zhihao Lin , Shangqing Liu , Qiang Hu , Ye Liu , Wenhan Wang , Cen Zhang , Liming Nie , Li Li , Yang Liu , Lingxiao Jiang

Recent advances in document image analysis (DIA) have been primarily driven by the application of neural networks. Ideally, research outcomes could be easily deployed in production and extended for further investigation. However, various…

Computer Vision and Pattern Recognition · Computer Science 2021-06-22 Zejiang Shen , Ruochen Zhang , Melissa Dell , Benjamin Charles Germain Lee , Jacob Carlson , Weining Li

Visualization is central to scientific discovery, yet authoring tools remain split between information and scientific visualization, and expertise in one rarely transfers to the other. Large Language Model (LLM) based systems promise to…

Human-Computer Interaction · Computer Science 2026-04-14 Alexandra Irger , Ella Hugie , Minghao Guo , Simon Warchol , Kenneth Moreland , David Pugmire , Wojciech Matusik , Hanspeter Pfister

With the large models easing the labor-intensive manipulation process, image manipulations in today's real scenarios often entail a complex manipulation process, comprising a series of editing operations to create a deceptive image.…

Computer Vision and Pattern Recognition · Computer Science 2026-04-13 Xuekang Zhu , Ji-Zhe Zhou , Kaiwen Feng , Chenfan Qu , Xiwen Wang , Yunfei Wang , Liting Zhou , Jian Liu

Binarization is a well-known image processing task, whose objective is to separate the foreground of an image from the background. One of the many tasks for which it is useful is that of preprocessing document images in order to identify…

Computer Vision and Pattern Recognition · Computer Science 2021-07-02 Francisco J. Castellanos , Antonio-Javier Gallego , Jorge Calvo-Zaragoza

Desktop GUI agents operate under partial observability: visually similar screens can correspond to different underlying workflow states, so locally plausible actions can lead to sharply different outcomes. We frame this as a problem of…

Artificial Intelligence · Computer Science 2026-05-18 Michael Solodko , Justin Wagle

The objective of image outpainting is to extend image current border and generate new regions based on known ones. Previous methods adopt generative adversarial networks (GANs) to synthesize realistic images. However, the lack of explicit…

Computer Vision and Pattern Recognition · Computer Science 2021-10-19 Ye Ma , Jin Ma , Min Zhou , Quan Chen , Tiezheng Ge , Yuning Jiang , Tong Lin

Image partitioning, or segmentation without semantics, is the task of decomposing an image into distinct segments, or equivalently to detect closed contours. Most prior work either requires seeds, one per segment; or a threshold; or…

Computer Vision and Pattern Recognition · Computer Science 2021-04-20 Steffen Wolf , Alberto Bailoni , Constantin Pape , Nasim Rahaman , Anna Kreshuk , Ullrich Köthe , Fred A. Hamprecht

Existing Vision-Language Models (VLMs) are predominantly trained on web-scraped, noisy image-text data, exhibiting limited exposure to the specialized domain of RS. This deficiency results in poor performance on RS-specific tasks, as…

Computer Vision and Pattern Recognition · Computer Science 2026-01-22 Angelos Zavras , Dimitrios Michail , Xiao Xiang Zhu , Begüm Demir , Ioannis Papoutsis

Many autonomous robotic applications require object-level understanding when deployed. Actively reconstructing objects of interest, i.e. objects with specific semantic meanings, is therefore relevant for a robot to perform downstream tasks…

Robotics · Computer Science 2024-03-19 Liren Jin , Haofei Kuang , Yue Pan , Cyrill Stachniss , Marija Popović