English
Related papers

Related papers: ReXCL: A Tool for Requirement Document Extraction …

200 papers

Model slicing is a useful technique for identifying a subset of a larger model that is relevant to fulfilling a given requirement. Notable applications of slicing include reducing inspection effort when checking design adequacy to meet…

Software Engineering · Computer Science 2024-05-06 Dipeeka Luitel , Shiva Nejati , Mehrdad Sabetzadeh

Current course recommender systems primarily leverage learner-course interactions, course content, learner preferences, and supplementary course details like instructor, institution, ratings, and reviews, to make their recommendation.…

Information Retrieval · Computer Science 2024-05-02 Jibril Frej , Anna Dai , Syrielle Montariol , Antoine Bosselut , Tanja Käser

We present a theoretical framework for the extraction and transformation of text documents. We propose to use a two-phase process where the first phase extracts span-tuples from a document, and the second phase maps the content of the…

Databases · Computer Science 2024-05-22 Cristian Riveros , Markus L. Schmid , Nicole Schweikardt

We present a prototype that implements a set of logical rules to prove the satisfiability for a class of specifications on XML documents. Specifications are given by means of constrains built on Boolean XPath patterns. The main goal of this…

Logic in Computer Science · Computer Science 2015-01-12 Javier Albors , Marisa Navarro

In Requirements Engineering, requirements elicitation aims the acquisition of information from the stakeholders of a system-to-be. An important task during elicitation is to identify and render explicit the stakeholders' implicit…

Software Engineering · Computer Science 2016-11-26 Corentin Burnay , Ivan Jureta , Stéphane Faulkner

This paper proposes OCR++, an open-source framework designed for a variety of information extraction tasks from scholarly articles including metadata (title, author names, affiliation and e-mail), structure (section headings and body text,…

Online job ads serve as a valuable source of information for skill requirements, playing a crucial role in labor market analysis and e-recruitment processes. Since such ads are typically formatted in free text, natural language processing…

Computation and Language · Computer Science 2023-07-21 Jens-Joris Decorte , Severine Verlinden , Jeroen Van Hautte , Johannes Deleu , Chris Develder , Thomas Demeester

Advances in large language models have notably enhanced the efficiency of information extraction from unstructured and semi-structured data sources. As these technologies become integral to various applications, establishing an objective…

Tool planning with large language models (LLMs), referring to selecting, organizing, and preparing the tools necessary to complete a user request, bridges the gap between natural language understanding and task execution. However, current…

Artificial Intelligence · Computer Science 2025-08-19 Wenjie Chen , Wenbin Li , Di Yao , Xuying Meng , Chang Gong , Jingping Bi

This paper presents the RGCL team submission to SemEval 2020 Task 6: DeftEval, subtasks 1 and 2. The system classifies definitions at the sentence and token levels. It utilises state-of-the-art neural network architectures, which have some…

Computation and Language · Computer Science 2020-11-22 Tharindu Ranasinghe , Alistair Plum , Constantin Orasan , Ruslan Mitkov

Multimodal Large Language Models (MLLMs) enhance the potential of natural language processing. However, their actual impact on document information extraction remains unclear. In particular, it is unclear whether an MLLM-only…

Computation and Language · Computer Science 2026-03-04 Jiyuan Shen , Peiyue Yuan , Atin Ghosh , Yifan Mai , Daniel Dahlmeier

Automating the translation of natural language (NL) software requirements into formal specifications remains a critical challenge in scaling formal verification practices to industrial settings, particularly in safety-critical domains.…

Software Engineering · Computer Science 2025-12-22 Zhi Ma , Cheng Wen , Zhexin Su , Xiao Liang , Cong Tian , Shengchao Qin , Mengfei Yang

The creation of a Software Requirements Specification (SRS) document is important for any software development project. Given the recent prowess of Large Language Models (LLMs) in answering natural language queries and generating…

Software Engineering · Computer Science 2024-12-25 Madhava Krishna , Bhagesh Gaur , Arsh Verma , Pankaj Jalote

Retrieval-augmented large language models (LLMs) leverage relevant content retrieved by information retrieval systems to generate correct responses, aiming to alleviate the hallucination problem. However, existing retriever-responder…

Computation and Language · Computer Science 2024-06-26 Taolin Zhang , Dongyang Li , Qizhou Chen , Chengyu Wang , Longtao Huang , Hui Xue , Xiaofeng He , Jun Huang

A first order inference system, called R-calculus, is defined to develop the specifications. It is used to eliminate the laws which is not consistent with the user's requirements. The R-calculus consists of the structural rules, an axiom, a…

Logic in Computer Science · Computer Science 2007-05-23 Wei Li

We present Prema, a tool for Precise Requirement Editing, Modeling and Analysis. It can be used in various fields for describing precise requirements using formal notations and performing rigorous analysis. By parsing the requirements…

Formal Languages and Automata Theory · Computer Science 2019-12-18 Yihao Huang , Jincao Feng , Hanyue Zheng , Jiayi Zhu , Shang Wang , Siyuan Jiang , Weikai Miao , Geguang Pu

The current technology landscape lacks a foundational AI model for solving process engineering calculations. In this work, we introduce a novel autonomous agent framework leveraging Retrieval-Augmented Instruction-Tuning (RAIT) to enhance…

Software Engineering · Computer Science 2024-08-29 Sagar Srinivas Sakhinana , Geethan Sannidhi , Venkataramana Runkana

Extracting structured information from unstructured text is crucial for modeling real-world processes, but traditional schema mining relies on semi-structured data, limiting scalability. This paper introduces schema-miner, a novel tool that…

Although information access systems have long supported people in accomplishing a wide range of tasks, we propose broadening the scope of users of information access systems to include task-driven machines, such as machine learning models.…

Machine Learning · Computer Science 2022-05-04 Hamed Zamani , Fernando Diaz , Mostafa Dehghani , Donald Metzler , Michael Bendersky

Retrieving documents and prepending them in-context at inference time improves performance of language model (LMs) on a wide range of tasks. However, these documents, often spanning hundreds of words, make inference substantially more…

Computation and Language · Computer Science 2023-10-09 Fangyuan Xu , Weijia Shi , Eunsol Choi
‹ Prev 1 8 9 10 Next ›