English
Related papers

Related papers: sTeX+ - a System for Flexible Formalization of Lin…

200 papers

The rapidly increasing number of scientific documents available publicly on the Internet creates the challenge of efficiently organizing and indexing these documents. Due to the time consuming and tedious nature of manual classification and…

Digital Libraries · Computer Science 2016-03-22 Lisa Posch

Huge amount of information is present in the World Wide Web and a large amount is being added to it frequently. A query-specific summary of multiple documents is very helpful to the user in this context. Currently, few systems have been…

Information Retrieval · Computer Science 2015-01-20 C Ravindranath Chowdary , P Sreenivasa Kumar

Scientific documents contain tables that list important information in a concise fashion. Structure and content extraction from tables embedded within PDF research documents is a very challenging task due to the existence of visual features…

Information Retrieval · Computer Science 2022-11-01 Pratik Kayal , Mrinal Anand , Harsh Desai , Mayank Singh

LaTeX is a free document preparation system that handles the typesetting of mathematical expressions smoothly and elegantly. It has become the standard format for creating and publishing research articles in mathematics and many scientific…

Computers and Society · Computer Science 2024-02-06 Ikechukwu E. Onyenwe , Ebele Onyedinma , Onyedika O. Ikechukwu-Onyenwe , Obinna Agbata , Faustinah N. Tubo

Scientific publications, primarily digitized as PDFs, remain static and unstructured, limiting the accessibility and reusability of the contained knowledge. At best, scientific knowledge from publications is provided in tabular formats,…

Digital Libraries · Computer Science 2025-06-30 Lena John , Kheir Eddine Farfar , Sören Auer , Oliver Karras

In the era of intelligent computing, computational progress in text processing is an essential consideration. Many systems have been developed to process text over different languages. Though, there is considerable development, they still…

Artificial Intelligence · Computer Science 2020-02-26 Sumant Pushp , Pragya Kashmira , Shyamanta M Hazarika

Many recent works aim at developing methods and tools for the processing of semantic Web services. In order to be properly tested, these tools must be applied to an appropriate benchmark, taking the form of a collection of semantic WS…

Software Engineering · Computer Science 2015-02-04 Cihan Aksoy , Vincent Labatut , Chantal Cherifi , Jean-François Santucci

To equip SL with software properly, we need an input system to represent and manipulate signed contents in the same way that every day software allows to process written text. Refuting the claim that video is good enough a medium to serve…

Computation and Language · Computer Science 2018-11-06 Michael Filhol

We propose the task of disambiguating symbolic expressions in informal STEM documents in the form of LaTeX files - that is, determining their precise semantics and abstract syntax tree - as a neural machine translation task. We discuss the…

Machine Learning · Computer Science 2021-01-29 Dennis Müller , Cezary Kaliszyk

The increasing amount of online content motivated the development of multi-document summarization methods. In this work, we explore straightforward approaches to extend single-document summarization methods to multi-document summarization.…

Information Retrieval · Computer Science 2015-07-13 Luís Marujo , Ricardo Ribeiro , David Martins de Matos , João P. Neto , Anatole Gershman , Jaime Carbonell

Passive documents and active programs now widely comingle. Document languages include Turing-complete programming elements, and programming languages include sophisticated document notations. However, there are no formal foundations that…

Programming Languages · Computer Science 2023-11-15 Will Crichton , Shriram Krishnamurthi

The architecture, engineering and construction (AEC) sector extensively uses documents supporting product and process development. As part of this, organisations should handle big data of hundreds, or even thousands, of technical documents…

Transforming scientific papers into multimodal presentation content is essential for research dissemination but remains labor intensive. Existing automated solutions typically treat each format as an isolated downstream task, leading to…

We introduce Augmented Math, a machine learning-based approach to authoring AR explorable explanations by augmenting static math textbooks without programming. To augment a static document, our system first extracts mathematical formulas…

Human-Computer Interaction · Computer Science 2023-08-01 Neil Chulpongsatorn , Mille Skovhus Lunding , Nishan Soni , Ryo Suzuki

In this paper, we propose Vocab-Expander at https://vocab-expander.com, an online tool that enables end-users (e.g., technology scouts) to create and expand a vocabulary of their domain of interest. It utilizes an ensemble of…

Computation and Language · Computer Science 2023-08-08 Michael Färber , Nicholas Popovic

We introduce a hybrid human-automated system that provides scalable entity-risk relation extractions across large data sets. Given an expert-defined keyword taxonomy, entities, and data sources, the system returns text extractions based on…

Computation and Language · Computer Science 2019-09-24 Berk Ekmekci , Eleanor Hagerman , Blake Howald

The process of building ontologies is a difficult task that involves collaboration between ontology developers and domain experts and requires an ongoing interaction between them. This collaboration is made more difficult, because they tend…

Artificial Intelligence · Computer Science 2017-09-29 Aisha Blfgeh , Phillip Lord

XSLT is an increasingly popular language for processing XML data. It is widely supported by application platform software. However, little optimization effort has been made inside the current XSLT processing engines. Evaluating a very…

Databases · Computer Science 2007-05-23 Zhimao Guo , Min Li , Xiaoling Wang , Aoying Zhou

In a high-tech country products are becoming rapidly more complex. To manage the development process as well as to encounter unforeseen challenges, the understanding and thus the explicit modeling of organizational workflows is more…

Software Engineering · Computer Science 2014-09-09 Christian Berger , Tim Gülke , Bernhard Rumpe

The communication of technical insight in scientific manuscripts often relies on ad-hoc formatting choices, resulting in inconsistent visual emphasis and limited portability across document classes. This paper introduces ktbox, a modular…

Digital Libraries · Computer Science 2025-10-03 Bhaskar Mangal , Ashutosh Bhatia , Yashvardhan Sharma , Kamlesh Tiwari , Rashmi Verma