English
Related papers

Related papers: sTeXIDE: An Integrated Development Environment for…

200 papers

As Large Language Models (LLMs) become increasingly prevalent in text simplification, systematically evaluating their outputs across diverse prompting strategies and architectures remains a critical methodological challenge in both NLP…

Computation and Language · Computer Science 2026-04-13 Rares-Alexandru Roscan , Gabriel Petre1 , Adrian-Marius Dumitran , Angela-Liliana Dumitran

Open-source software (OSS) dependencies introduce systemic risks that are difficult to manage at scale. Existing Software Composition Analysis (SCA) and reachability tools generate severe alert fatigue by treating risk as an intrinsic…

Software Engineering · Computer Science 2026-05-04 Henry Ruckman-Utting , Vrushal Nedungadi , Taiga Okuma , LeTian Wang , Stephen Ehebald , Mohammad A. Tayebi

The increasing demand for programmers has led to a surge in participants in programming courses, making it increasingly challenging for instructors to assess student code manually. As a result, automated programming assessment systems…

Software Engineering · Computer Science 2025-03-18 Eduard Frankford , Daniel Crazzolara , Michael Vierhauser , Niklas Meissner , Stephan Krusche , Ruth Breu

In this paper we present Eurydice, a platform dedicated to provide a unified gateway to documents. Its basic functionalities about collecting documents have been designed based on a long experience about the management of scientific…

Digital Libraries · Computer Science 2007-05-23 Serge Rouveyrol , Yves Chiaramella , Francesca Leinardi , Joanna Janik , Bruno Marmol , Carole Silvy , Catherine Allauzun

This work describes the setup of an advanced technical infrastructure for collaborative software development (CDE) in large, distributed projects based on GitLab. We present its customization and extension, additional features and processes…

Software Engineering · Computer Science 2023-08-10 Felix Bach , Jochen Klar , Axel Loewe , Jorge Sánchez , Gunnar Seemann , Yung-Lin Huang , Robert Ulrich

In software development through integrated development environments (IDEs), code completion is one of the most widely used features. Nevertheless, majority of integrated development environments only support completion of methods and APIs,…

Computation and Language · Computer Science 2020-11-02 Alexey Svyatkovskiy , Shao Kun Deng , Shengyu Fu , Neel Sundaresan

An application's user documentation, also referred to as the user manual, is one of the core elements required in application distribution. While there exist many tools to aid an application's developer in creating and maintaining…

Software Engineering · Computer Science 2014-11-17 Marco Descher , Thomas Feilhauer , Lucia Amann

Open Source Software (OSS) has been recognized by the software development community as an effective way to deliver software. Unlike traditional software development, OSS development is driven by collaboration among developers spread…

Software Engineering · Computer Science 2020-08-13 Bianca Minetto Napoleão , Fabio Petrillo , Sylvain Hallé

Since the inception of VisiCalc over four decades ago, spreadsheets have undergone a gradual transformation, evolving from simple ledger automation tools to the current state of Excel, which can be described as an Integrated Development…

Computers and Society · Computer Science 2024-09-23 Andrew Kumiega

The swift advancement in Multimodal LLMs (MLLMs) also presents significant challenges for effective knowledge editing. Current methods, including intrinsic knowledge editing and external knowledge resorting, each possess strengths and…

Computer Vision and Pattern Recognition · Computer Science 2024-11-01 Kaihang Pan , Zhaoyu Fan , Juncheng Li , Qifan Yu , Hao Fei , Siliang Tang , Richang Hong , Hanwang Zhang , Qianru Sun

This work explores a closure task in comics, a medium where visual and textual elements are intricately intertwined. Specifically, Text-cloze refers to the task of selecting the correct text to use in a comic panel, given its neighboring…

Computer Vision and Pattern Recognition · Computer Science 2024-03-07 Emanuele Vivoli , Joan Lafuente Baeza , Ernest Valveny Llobet , Dimosthenis Karatzas

Continual Model Merging (CMM) enables rapid customization of foundation models by sequentially incorporating task-adapted models without repeated retraining. However, existing merging rules usually update the deployed model through fixed…

Machine Learning · Computer Science 2026-05-26 Lihong Lin , Haidong Kang

This paper summarizes our efforts to aid human reasoning when verification fails through the use of two distinct Formalization Integrated Development Environments (F-IDEs) that we have developed. Both environments are modular and facilitate…

Logic in Computer Science · Computer Science 2021-11-17 Yu-Shan Sun , Daniel Welch , Murali Sitaraman

Language models of code (LMs) work well when the surrounding code provides sufficient context. This is not true when it becomes necessary to use types, functionality or APIs defined elsewhere in the repository or a linked library,…

Computation and Language · Computer Science 2023-11-06 Lakshya A Agrawal , Aditya Kanade , Navin Goyal , Shuvendu K. Lahiri , Sriram K. Rajamani

Open Source Software (OSS) development challenges traditional software engineering practices. In particular, OSS projects are managed by a large number of volunteers, working freely on the tasks they choose to undertake. OSS projects also…

Human-Computer Interaction · Computer Science 2016-08-14 Warren Sack , Françoise Détienne , Nicholas Ducheneaut , Jean-Marie Burkhardt , Dilan Mahendran , Flore Barcellini

This study has proposed an E-textbook platform, MetaCQ, which integrates ITS and OLM to enable users to monitor their study progress. The platform adopts a chatbot to generate MCQs and manage learners' study data and their learning model.…

Human-Computer Interaction · Computer Science 2025-12-02 Beier Wang , Xueting Huang

Text corpus exploration (TCE) spans the range of exploratory search tasks: it goes beyond simple retrieval to include item discovery and learning about the corpus and topic. Systems support TCE with tools such as similarity-based…

Human-Computer Interaction · Computer Science 2024-06-17 Michael Gleicher , Keaton Leppenan , Yunyu Bai

The landscape of AI coding assistance is undergoing a fundamental shift from complex IDE plugins to versatile, terminal-native agents. Operating directly where developers manage source control, execute builds, and deploy environments,…

Artificial Intelligence · Computer Science 2026-03-16 Nghi D. Q. Bui

A full-fledged data exploration system must combine different access modalities with a powerful concept of guiding the user in the exploration process, by being reactive and anticipative both for data discovery and for data linking. Such…

Tools are an essential part of every software engineering project. But the number of tools that are used in all phases of the software development life-cycle and their complexity is growing continually. Consequently, the setup and…

Software Engineering · Computer Science 2014-09-02 Christoph Herrmann , Thomas Kurpick , Bernhard Rumpe
‹ Prev 1 4 5 6 7 8 10 Next ›