English
Related papers

Related papers: sTeXIDE: An Integrated Development Environment for…

200 papers

We present the sTeX+ system, a user-driven advancement of sTeX - a semantic extension of LaTeX that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc documents for the Web or…

Software Engineering · Computer Science 2010-06-24 Andrea Kohlhase , Michael Kohlhase , Christoph Lange

Before we can get the whole potential of employing computers in the process of managing mathematical `knowledge', we have to convert informal knowledge into machine-oriented representations. How exactly to support this process so that it…

Digital Libraries · Computer Science 2010-10-29 Constantin Jucovschi

Software documentation is an essential but labor intensive task that often requires a dedicated team of developers to ensure coverage and accuracy. Good documentation will help shorten the development cycle and improve the overall team…

Software Engineering · Computer Science 2017-01-31 Thomas Zheng , Jeff Shaw , Sergey Kozlov

High-quality, "rich" metadata are essential for making research data findable, interoperable, and reusable. The Center for Expanded Data Annotation and Retrieval (CEDAR) has long addressed this need by providing tools to design…

Digital Libraries · Computer Science 2025-08-05 Martin J. O'Connor , Marcos Martinez-Romero , Attila L. Egyedi , Mete U. Akdogan , Michael V. Dorf , Mark A. Musen

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

Large Language Models (LLMs) have achieved remarkable success in code completion, as evidenced by their essential roles in developing code assistant services such as Copilot. Being trained on in-file contexts, current LLMs are quite…

Software Engineering · Computer Science 2024-02-20 Yichen Li , Yun Peng , Yintong Huo , Michael R. Lyu

Software engineering is extremely information-intensive. Every day developers work with source code, version repositories, issue trackers, documentation, web-based and other information resources. However, three key aspects of information…

Software Engineering · Computer Science 2016-07-18 Dimitar Asenov , Peter Müller , Lukas Vogel

Sequence-to-sequence (s2s) models are the basis for extensive work in natural language processing. However, some applications, such as multi-document summarization, multi-modal machine translation, and the automatic post-editing of machine…

Computation and Language · Computer Science 2020-06-17 Chris Hokamp , Demian Gholipour Ghalandari , Nghia The Pham , John Glover

Blended modeling is an emerging paradigm involving seamless interaction between multiple notations for the same underlying modeling language. We focus on a model-driven engineering (MDE) approach based on meta-models to develop textual…

Software Engineering · Computer Science 2024-01-31 Weixing Zhang

Modern-day Integrated Development Environments (IDEs) have come a long way from the early text editing utilities to the complex programs encompassing thousands of functions to help developers. However, with the increasing number of…

Software Engineering · Computer Science 2024-02-20 Yaroslav Zharov , Yury Khudyakov , Evgeniia Fedotova , Evgeny Grigorenko , Egor Bogomolov

Extracting structured knowledge from unstructured data still faces practical limitations: entity and event extraction pipelines remain brittle, knowledge graph construction requires costly ontology engineering, and cross-domain…

Databases · Computer Science 2026-04-13 Wenxiao Zhang , Yu Liu , Qiang sun , Yihao Ding , Sirui Li , Yanbing Liu , Jin B. Hong , Wei Liu

AI-assisted developer services are increasingly embedded in modern IDEs, yet enterprises must ensure these tools operate within existing identity, access control, and governance requirements. The Model Context Protocol (MCP) enables AI…

Software Engineering · Computer Science 2026-01-07 Manideep Reddy Chinthareddy

The Center for Expanded Data Annotation and Retrieval (CEDAR) aims to revolutionize the way that metadata describing scientific experiments are authored. The software we have developed--the CEDAR Workbench--is a suite of Web-based tools and…

This article introduces a model-driven engineering (MDE) integrated development environment (IDE) for Data-Intensive Cloud Applications (DIA) with iterative quality enhancements. As part of the H2020 DICE project (ICT-9-2014, id 644869), a…

Software Engineering · Computer Science 2017-09-20 Marc Gil , Christophe Joubert , Ismael Torres

Ontology authoring is a complex process, where commonly the automated reasoner is invoked for verification of newly introduced changes, therewith amounting to a time-consuming test-last approach. Test-Driven Development (TDD) for ontology…

Artificial Intelligence · Computer Science 2018-12-17 C. Maria Keet , Kieren Davies , Agnieszka Lawrynowicz

We propose a Makefile for developing containerized $\LaTeX$ technical documents. The Makefile allows the author to execute the code that generates variables, tables and figures (results), which are then used during the $\LaTeX$ compilation,…

Software Engineering · Computer Science 2023-11-14 Paschalis Bizopoulos

Multi-document (MD) processing is crucial for LLMs to handle real-world tasks such as summarization and question-answering across large sets of documents. While LLMs have improved at processing long inputs, MD contexts still present unique…

Computation and Language · Computer Science 2025-04-30 Gabrielle Kaili-May Liu , Bowen Shi , Avi Caciularu , Idan Szpektor , Arman Cohan

Similar to managing software packages, managing the ontology life cycle involves multiple complex workflows such as preparing releases, continuous quality control checking, and dependency management. To manage these processes, a diverse set…

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

Motivated from the Context Aware Computing, and more particularly from the Data-Driven Process Adaptation approach, we propose the Semantic Context Space (SCS) Engine which aims to facilitate the provision of adaptable business processes.…

Software Engineering · Computer Science 2013-04-09 Pigi Kouki
‹ Prev 1 2 3 10 Next ›