English
Related papers

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

200 papers

Scientific diagrams are vital tools for communicating structured knowledge across disciplines. However, they are often published as static raster images, losing symbolic semantics and limiting reuse. While Multimodal Large Language Models…

Artificial Intelligence · Computer Science 2025-10-14 Zhiqing Cui , Jiahao Yuan , Hanqing Wang , Yanshu Li , Chenxu Du , Zhenglong Ding

Printed mathematical expression recognition (MER) models are usually trained and tested using LaTeX-generated mathematical expressions (MEs) as input and the LaTeX source code as ground truth. As the same ME can be generated by various…

Computer Vision and Pattern Recognition · Computer Science 2024-06-10 Felix M. Schmitt-Koopmann , Elaine M. Huang , Hans-Peter Hutter , Thilo Stadelmann , Alireza Darvishy

Computers understand very little of the meaning of human language. This profoundly limits our ability to give instructions to computers, the ability of computers to explain their actions to us, and the ability of computers to analyse and…

Computation and Language · Computer Science 2010-03-08 Peter D. Turney , Patrick Pantel

In this demo, we introduce MELT Dashboard, an interactive Web user interface for ontology alignment evaluation which is created with the existing Matching EvaLuation Toolkit (MELT). Compared to existing, static evaluation interfaces in the…

Information Retrieval · Computer Science 2020-04-28 Jan Portisch , Sven Hertling , Heiko Paulheim

Value Driver Trees (VDTs) are conceptual models used to illustrate and analyse the causal relationships between key performance indicators and business outcomes, thereby supporting managerial decision-making and value-based management.…

Software Engineering · Computer Science 2025-12-18 Benjamin Matthies

Referring expression comprehension aims to locate the object instance described by a natural language referring expression in an image. This task is compositional and inherently requires visual reasoning on top of the relationships among…

Computer Vision and Pattern Recognition · Computer Science 2019-09-19 Sibei Yang , Guanbin Li , Yizhou Yu

We assume some standard choices for the branch cuts of a group of functions and consider the problem of then calculating the branch cuts of expressions involving those functions. Typical examples include the addition formulae for inverse…

Mathematical Software · Computer Science 2013-07-10 Matthew England , Russell Bradford , James H. Davenport , David Wilson

Nonlinear dynamics is ubiquitous in nature and commonly seen in various science and engineering disciplines. Distilling analytical expressions that govern nonlinear dynamics from limited data remains vital but challenging. To tackle this…

Artificial Intelligence · Computer Science 2023-02-03 Fangzheng Sun , Yang Liu , Jian-Xun Wang , Hao Sun

Large language models (LLMs) can be used to generate smaller, more refined datasets via few-shot prompting for benchmarking, fine-tuning or other use cases. However, understanding and evaluating these datasets is difficult, and the failure…

Computation and Language · Computer Science 2023-09-29 Emily Reif , Minsuk Kahng , Savvas Petridis

The growing popularity of generative language models has amplified interest in interactive methods to guide model outputs. Prompt refinement is considered one of the most effective means to influence output among these methods. We identify…

The study of evolution of networks has received increased interest with the recent discovery that many real-world networks possess many things in common, in particular the manner of evolution of such networks. By adding a dimension of time…

Combinatorics · Mathematics 2010-06-24 Anurat Chapanond , Mukkai S. Krishnamoorthy , G. M. Prabhu , J. Punin

Comparing graphs to identify similarities is a fundamental task in visual analytics of graph data. To support this, visual analytics systems frequently employ quantitative computational measures to provide automated guidance. However, it…

Human-Computer Interaction · Computer Science 2026-02-27 Seokweon Jung , Jeongmin Rhee , Seoyoung Doh , Hyeon Jeon , Ghulam Jilani Quadri , Jinwook Seo

This paper presents a novel approach to automatically solving arithmetic word problems. This is the first algorithmic approach that can handle arithmetic problems with multiple steps and operations, without depending on additional…

Computation and Language · Computer Science 2016-08-23 Subhro Roy , Dan Roth

Data visualization (DV) is the fundamental and premise tool to improve the efficiency in conveying the insights behind the big data, which has been widely accepted in existing data-driven world. Task automation in DV, such as converting…

Computation and Language · Computer Science 2025-05-28 Zhuoyue Wan , Yuanfeng Song , Shuaimin Li , Chen Jason Zhang , Raymond Chi-Wing Wong

Chart interpretation is crucial for visual data analysis, but accurately extracting information from charts poses significant challenges for automated models. This study investigates the fine-tuning of DEPLOT, a modality conversion module…

Computation and Language · Computer Science 2025-01-09 Archita Srivastava , Abhas Kumar , Rajesh Kumar , Prabhakar Srinivasan

When using exploratory visual analysis to examine multivariate hierarchical data, users often need to query data to narrow down the scope of analysis. However, formulating effective query expressions remains a challenge for multivariate…

Human-Computer Interaction · Computer Science 2024-08-14 Guozheng Li , Haotian Mi , Chi Harold Liu , Takayuki Itoh , Guoren Wang

With the ever-increasing quantity and variety of data worldwide, the Web has become a rich repository of mathematical formulae. This necessitates the creation of robust and scalable systems for Mathematical Information Retrieval, where…

Information Retrieval · Computer Science 2015-07-23 Richard Zanibbi , Kenny Davila , Andrew Kane , Frank Tompa

A practical automatic textual math word problems (MWPs) solver should be able to solve various textual MWPs while most existing works only focused on one-unknown linear MWPs. Herein, we propose a simple but efficient method called Universal…

Computation and Language · Computer Science 2020-10-15 Jinghui Qin , Lihui Lin , Xiaodan Liang , Rumin Zhang , Liang Lin

In this paper, we propose an explicit, non-strict representation of search trees in constraint-logic object-oriented programming. Our search tree representation includes both the non-deterministic and deterministic behaviour during…

Programming Languages · Computer Science 2020-09-23 Jan C. Dageförde , Finn Teegen

Although speech is a simple and effective way for humans to communicate with the outside world, a more realistic speech interaction contains multimodal information, e.g., vision, text. How to design a unified framework to integrate…

Audio and Speech Processing · Electrical Eng. & Systems 2023-05-22 Qiushi Zhu , Long Zhou , Ziqiang Zhang , Shujie Liu , Binxing Jiao , Jie Zhang , Lirong Dai , Daxin Jiang , Jinyu Li , Furu Wei