English
Related papers

Related papers: VMEXT: A Visualization Tool for Mathematical Expre…

200 papers

We present an exploratory study comparing the visualization construction and data exploration processes of people using two visualization tools, each implementing a different interaction paradigm. One of the visualization tools implements…

Human-Computer Interaction · Computer Science 2018-05-09 Bahador Saket , Alex Endert

Visual analytics (VA) tools support data exploration by helping analysts quickly and iteratively generate views of data which reveal interesting patterns. However, these tools seldom enable explicit checks of the resulting interpretations…

Human-Computer Interaction · Computer Science 2023-08-28 Alex Kale , Ziyang Guo , Xiao Li Qiao , Jeffrey Heer , Jessica Hullman

VTX is an open-source molecular visualization software designed to overcome the scaling limitations of existing real-time molecular visualization software when handling massive molecular datasets. VTX employs a meshless molecular graphics…

Mathematical formulae carry complex and essential semantic information in a variety of formats. Accessing this information with different systems requires a standardized machine-readable format that is capable of encoding presentational and…

Digital Libraries · Computer Science 2021-09-20 André Greiner-Petter , Moritz Schubotz , Howard S. Cohl , Bela Gipp

Open-source multimodal large language models (MLLMs) excel in various tasks involving textual and visual inputs but still struggle with complex multimodal mathematical reasoning, lagging behind proprietary models like GPT-4V(ision) and…

Computation and Language · Computer Science 2024-04-29 Mengzhao Jia , Zhihan Zhang , Wenhao Yu , Fangkai Jiao , Meng Jiang

In this paper, a robust multiscale neural network is proposed to recognize handwritten mathematical expressions and output LaTeX sequences, which can effectively and correctly focus on where each step of output should be concerned and has a…

Computer Vision and Pattern Recognition · Computer Science 2020-03-03 Hongyu Wang , Guangcun Shan

Semantic map models visualize systematic relations among semantic functions through graph structures and are widely used in linguistic typology. However, existing construction methods either depend on labor-intensive expert reasoning or on…

Computation and Language · Computer Science 2026-03-03 Zhu Liu , Zhen Hu , Lei Dai , Yu Xuan , Ying Liu

Summary: VTX is a molecular visualization software capable to handle most molecular structures and dynamics trajectories file formats. It features a real-time high-performance molecular graphics engine, based on modern OpenGL, optimized for…

Form validators based on regular expressions are often used on digital forms to prevent users from inserting data in the wrong format. However, writing these validators can pose a challenge to some users. We present FOREST, a regular…

Formal Languages and Automata Theory · Computer Science 2020-12-29 Margarida Ferreira , Miguel Terra-Neves , Miguel Ventura , Inês Lynce , Ruben Martins

Treemaps have been used in information visualisation for over two decades. They make use of nested filled areas to represent information hierarchies such as file systems, library catalogues, etc. Recent years have witnessed the emergence of…

Human-Computer Interaction · Computer Science 2019-09-23 Patrick Cheong-Iao Pang , Robert P. Biuk-Aghai , Simon Fong , Yain-Whar Si

Charts are common in literature across various scientific fields, conveying rich information easily accessible to readers. Current chart-related tasks focus on either chart perception that extracts information from the visual charts, or…

Computer Vision and Pattern Recognition · Computer Science 2024-12-05 Renqiu Xia , Haoyang Peng , Hancheng Ye , Mingsheng Li , Xiangchao Yan , Peng Ye , Botian Shi , Yu Qiao , Junchi Yan , Bo Zhang

Random forests are a machine learning method used to automatically classify datasets and consist of a multitude of decision trees. While these random forests often have higher performance and generalize better than a single decision tree,…

Machine Learning · Computer Science 2025-07-31 Max Sondag , Christofer Meinecke , Dennis Collaris , Tatiana von Landesberger , Stef van den Elzen

In this position paper, we present a prototype of a visualizer for functional programs. Such programs, whose evaluation model is the reduction of an expression to a value through repeated application of rewriting rules, and which tend to…

Programming Languages · Computer Science 2024-11-04 John Whitington , Tom Ridge

This paper presents the main features of a system that aims to transform regular expressions into shorter equivalent expressions. The system is also capable of computing other operations useful for simplification, such as checking the…

Symbolic Computation · Computer Science 2023-07-14 Baudouin Le Charlier

This paper introduces a procedure based on genetic programming to evolve XSLT programs (usually called stylesheets or logicsheets). XSLT is a general purpose, document-oriented functional language, generally used to transform XML documents…

Neural and Evolutionary Computing · Computer Science 2008-03-14 Pablo Garcia-Sanchez , J. L. J. Laredo , J. P. Sevilla , Pedro Castillo , J. J. Merelo

Computer programming is among the fundamental aspects of computer science curriculum. Many students first introduced to introductory computer programming courses experience difficulties in learning and comprehending. Vast amount of…

Programming Languages · Computer Science 2014-08-13 Ally S. Nyamawe

Explorative flow visualization allows domain experts to analyze complex flow structures by interactively investigating flow patterns. However, traditional visual interfaces often rely on specialized graphical representations and…

Human-Computer Interaction · Computer Science 2025-08-11 Weihan Zhang , Jun Tao

The high performance of tree ensemble classifiers benefits from a large set of rules, which, in turn, makes the models hard to understand. To improve interpretability, existing methods extract a subset of rules for approximation using model…

Machine Learning · Computer Science 2025-01-03 Zhen Li , Weikai Yang , Jun Yuan , Jing Wu , Changjian Chen , Yao Ming , Fan Yang , Hui Zhang , Shixia Liu

One of the most promising applications of mathematical knowledge management is search: Even if we restrict attention to the tiny fragment of mathematics that has been formalized, the amount exceeds the comprehension of an individual human.…

Logic in Computer Science · Computer Science 2012-04-23 Florian Rabe

Automated chart summarization is crucial for enhancing data accessibility and enabling efficient information extraction from visual data. While recent advances in visual-language models (VLMs) have demonstrated promise, existing methods…

Computation and Language · Computer Science 2025-02-26 Raymond Choi , Frank Burns , Chase Lawrence