English
Related papers

Related papers: Axodraw Version 2

200 papers

In this electronic appendix to our paper "Input Invariants," accepted at ESEC/FSE'22, we provide additional examples, formal definitions, theorems, and proof sketches to complement our paper. Furthermore, we show the invariants that ISLearn…

Programming Languages · Computer Science 2022-08-26 Dominic Steinhöfel , Andreas Zeller

A wide choice of cinematic lenses enables motion-picture creators to adapt image visual-appearance to their creative vision. Such choice does not exist in the realm of real-time computer graphics, where only one type of perspective…

Graphics · Computer Science 2024-02-09 Jakub Maksymilian Fober

The 2D cartoon style is a prominent art form in digital character creation, particularly popular among younger audiences. While advancements in digital human technology have spurred extensive research into photorealistic digital humans and…

Computer Vision and Pattern Recognition · Computer Science 2025-02-05 Chao He , Jianqiang Ren , Yuan Dong , Jianjing Xiang , Xiejie Shen , Weihao Yuan , Liefeng Bo

While the generation of document layouts has been extensively explored, comprehensive document generation encompassing both layout and content presents a more complex challenge. This paper delves into this advanced domain, proposing a novel…

Computer Vision and Pattern Recognition · Computer Science 2024-06-13 Sanket Biswas , Rajiv Jain , Vlad I. Morariu , Jiuxiang Gu , Puneet Mathur , Curtis Wigington , Tong Sun , Josep Lladós

With the transformation of computing from personal computers to the Internet, document formats have also seen some changes over the years. Future document formats are likely going to adapt to the emerging needs of ubiquitous computing,…

Digital Libraries · Computer Science 2021-12-30 Ahmed A. O. Tayeh , Bruno Dumas , Beat Signer

Existing open-source datasets for arbitrary-instruction image editing remain suboptimal, while a plug-and-play editing module compatible with community-prevalent generative models is notably absent. In this paper, we first introduce the…

Computer Vision and Pattern Recognition · Computer Science 2025-11-11 Jian Ma , Xujie Zhu , Zihao Pan , Qirong Peng , Xu Guo , Chen Chen , Haonan Lu

A LaTeX manuscript that compiles without error is not necessarily publication-ready. The resulting PDFs frequently suffer from misplaced floats, overflowing equations, inconsistent table scaling, widow and orphan lines, and poor page…

Artificial Intelligence · Computer Science 2026-05-12 Bihui Yu , Xinglong Xu , Junjie Jiang , Jiabei Cheng , Caijun Jia , Siyuan Li , Conghui He , Jingxuan Wei , Cheng Tan

The RDF Mapping Language (RML) enables, among other formats, the mapping of tabular data as Comma-Separated Values (CSV) files to RDF graphs. Unfortunately, the widely used spreadsheet format is currently neglected by its specification and…

Databases · Computer Science 2021-08-02 Markus Schröder , Christian Jilek , Andreas Dengel

We introduce differentiable indirection -- a novel learned primitive that employs differentiable multi-scale lookup tables as an effective substitute for traditional compute and data operations across the graphics pipeline. We demonstrate…

Graphics · Computer Science 2023-11-21 Sayantan Datta , Carl Marshall , Derek Nowrouzezahrai , Zhao Dong , Zhengqin Li

"Look before you leap"; "a stitch in time saves nine"; "more haste, less speed". Many proverbs declare the wisdom of planning before doing. We suggest how to apply this to Excel, by explaining and specifying spreadsheets before coding them,…

Software Engineering · Computer Science 2009-08-11 Jocelyn Paine

The digital conversion of information stored in documents is a great source of knowledge. In contrast to the documents text, the conversion of the embedded documents graphics, such as charts and plots, has been much less explored. We…

Computer Vision and Pattern Recognition · Computer Science 2021-11-30 Joseph Shtok , Sivan Harary , Ophir Azulai , Adi Raz Goldfarb , Assaf Arbelle , Leonid Karlinsky

Order diagrams allow human analysts to understand and analyze structural properties of ordered data. While an experienced expert can create easily readable order diagrams, the automatic generation of those remains a hard task. In this work,…

Computational Geometry · Computer Science 2021-02-05 Dominik Dürrschnabel , Gerd Stumme

We introduce a 3D detailizer, a neural model which can instantaneously (in <1s) transform a coarse 3D shape proxy into a high-quality asset with detailed geometry and texture as guided by an input text prompt. Our model is trained using the…

Graphics · Computer Science 2025-09-30 Qimin Chen , Yuezhi Yang , Wang Yifan , Vladimir G. Kim , Siddhartha Chaudhuri , Hao Zhang , Zhiqin Chen

A graph is a mathematical object consisting of a set of vertices and a set of edges connecting vertices. Graphs can be drawn on paper in various ways, but until recently all published methods of drawing graphs have had undesirable…

Human-Computer Interaction · Computer Science 2014-05-22 Bob Blakley , G R Blakley , Sean M Blakley

We provide a pipeline for generating syntax diagrams (also called railroad diagrams) from context free grammars. Syntax diagrams are a graphical representation of a context free language, which we formalize abstractly as a set of mutually…

Other Computer Science · Computer Science 2015-09-03 Michael J. Bannister , David A. Brown , David Eppstein

Urgency of application and development of cognitive graphic tools for usage in intelligent systems of data analysis, decision making and its justifications is given. Cognitive graphic tool "2-simplex prism" and examples of its usage are…

Human-Computer Interaction · Computer Science 2016-01-08 Anna Yankovskaya , Artem Yamshanov

Tampering or forgery of digital documents has become widespread, most commonly through altering images without any malicious intent such as enhancing the overall appearance of the image. However, there are occasions when tampering of…

Cryptography and Security · Computer Science 2025-07-02 Gabriel Grobler , Sheunesu Makura , Hein Venter

Generating human portraits is a hot topic in the image generation area, e.g. mask-to-face generation and text-to-face generation. However, these unimodal generation methods lack controllability in image generation. Controllability can be…

Computer Vision and Pattern Recognition · Computer Science 2024-09-18 Debin Meng , Christos Tzelepis , Ioannis Patras , Georgios Tzimiropoulos

We present a complete categorical axiomatization of a wide class of dataflow programs. This gives a three-dimensional diagrammatic language for workflows, more expressive than the directed acyclic graphs generally used for this purpose.…

Logic in Computer Science · Computer Science 2020-09-16 Antonin Delpeuch

We present APFEL Web, a web-based application designed to provide a flexible user-friendly tool for the graphical visualization of parton distribution functions (PDFs). In this note we describe the technical design of the APFEL Web…

High Energy Physics - Phenomenology · Physics 2015-06-23 Stefano Carrazza , Alfio Ferrara , Daniele Palazzo , Juan Rojo