中文
相关论文

相关论文: VMEXT: A Visualization Tool for Mathematical Expre…

200 篇论文

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…

人工智能 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

计算与语言 · 计算机科学 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…

信息检索 · 计算机科学 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.…

软件工程 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

数学软件 · 计算机科学 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…

人工智能 · 计算机科学 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…

计算与语言 · 计算机科学 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…

组合数学 · 数学 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…

人机交互 · 计算机科学 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…

计算与语言 · 计算机科学 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…

计算与语言 · 计算机科学 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…

计算与语言 · 计算机科学 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…

人机交互 · 计算机科学 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…

信息检索 · 计算机科学 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…

计算与语言 · 计算机科学 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…

编程语言 · 计算机科学 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…

音频与语音处理 · 电气工程与系统科学 2023-05-22 Qiushi Zhu , Long Zhou , Ziqiang Zhang , Shujie Liu , Binxing Jiao , Jie Zhang , Lirong Dai , Daxin Jiang , Jinyu Li , Furu Wei