English
Related papers

Related papers: Software Requirement Specification Using Reverse S…

200 papers

A lens is a single program that specifies two data transformations at once: one transformation converts data from source format to target format and a second transformation inverts the process. Over the past decade, researchers have…

Programming Languages · Computer Science 2022-12-09 Jeanne-Marie Musca , Anders Miltner , Kathleen Fisher , David Walker

The Rational Speech Acts (RSA) model treats language use as a recursive process in which probabilistic speaker and listener agents reason about each other's intentions to enrich the literal semantics of their language along broadly Gricean…

Computation and Language · Computer Science 2015-10-26 Will Monroe , Christopher Potts

Referring expression segmentation (RES), a task that involves localizing specific instance-level objects based on free-form linguistic descriptions, has emerged as a crucial frontier in human-AI interaction. It demands an intricate…

Computer Vision and Pattern Recognition · Computer Science 2024-02-13 Ying Zang , Chenglong Fu , Runlong Cao , Didi Zhu , Min Zhang , Wenjun Hu , Lanyun Zhu , Tianrun Chen

Natural Language Processing (NLP) is now a cornerstone of requirements automation. One compelling factor behind the growing adoption of NLP in Requirements Engineering (RE) is the prevalent use of natural language (NL) for specifying…

Software Engineering · Computer Science 2024-07-17 Mehrdad Sabetzadeh , Chetan Arora

Usually, hearing impaired people use hearing aids which are implemented with speech enhancement algorithms. Estimation of speech and estimation of nose are the components in single channel speech enhancement system. The main objective of…

Sound · Computer Science 2014-11-10 M. Ravichandra Kumar , B. Ravi Teja

Vocal recordings on consumer devices commonly suffer from multiple concurrent degradations: noise, reverberation, band-limiting, and clipping. We present Smule Renaissance Small (SRS), a compact single-stage model that performs end-to-end…

Machine Reading at Scale (MRS) is a challenging task in which a system is given an input query and is asked to produce a precise output by "reading" information from a large knowledge base. The task has gained popularity with its natural…

Computation and Language · Computer Science 2019-09-19 Yixin Nie , Songhe Wang , Mohit Bansal

In industrial practice, requirements are an indispensable element of any serious software project. In the academic study of software engineering, requirements are one of the heavily researched subjects. And yet requirements engineering, as…

Software Engineering · Computer Science 2025-02-28 Maria Naumcheva , Sophie Ebersold , Jean-Michel Bruel , Bertrand Meyer

Recognition of uncommon words such as names and technical terminology is important to understanding conversations in context. However, the ability to recognise such words remains a challenge in modern automatic speech recognition (ASR)…

Sound · Computer Science 2021-10-07 Namkyu Jung , Geonmin Kim , Joon Son Chung

Discourse Representation Structure (DRS) is an innovative semantic representation designed to capture the meaning of texts with arbitrary lengths across languages. The semantic representation parsing is essential for achieving natural…

Computation and Language · Computer Science 2024-06-04 Jiangming Liu

The value of a systematic secondary study (a systematic mapping study (SMS) or a systematic literature review (SLR)) comes, directly, from its systematic nature. The formal, well-defined, objective and unbiased process guarantees that the…

Software Engineering · Computer Science 2019-04-04 José L. Barros-Justo , Luisa Rincón , Ángela Villota , Wesley K. G. Assunção

Versatile audio super-resolution (SR) aims to predict high-frequency components from low-resolution audio across diverse domains such as speech, music, and sound effects. Existing diffusion-based SR methods often fail to produce…

Audio and Speech Processing · Electrical Eng. & Systems 2025-09-30 Jaekwon Im , Juhan Nam

Software has always been considered as malleable. Changes to software requirements are inevitable during the development process. Despite many software engineering advances over several decades, requirements changes are a source of project…

Software Engineering · Computer Science 2021-04-05 Waqar Hussain , Didar Zowghi , Tony Clear , Stephen MacDonell , Kelly Blincoe

A crucial part of an accurate and reliable spoken language assessment system is the underlying ASR model. Recently, large-scale pre-trained ASR foundation models such as Whisper have been made available. As the output of these models is…

Computation and Language · Computer Science 2023-10-11 Rao Ma , Mengjie Qian , Mark J. F. Gales , Kate M. Knill

Reinforcement learning based recommender systems (RL-based RS) aim at learning a good policy from a batch of collected data, by casting recommendations to multi-step decision-making tasks. However, current RL-based RS research commonly has…

Information Retrieval · Computer Science 2023-04-18 Kai Wang , Zhene Zou , Minghao Zhao , Qilin Deng , Yue Shang , Yile Liang , Runze Wu , Xudong Shen , Tangjie Lyu , Changjie Fan

Often during the requirements engineering (RE) process, the value of a requirement is assessed, e.g., in requirement prioritisation, release planning, and trade-off analysis. In order to support these activities, this research evaluates…

Software Engineering · Computer Science 2013-06-17 Richard Ellis-Braithwaite

Reverse engineering of a communications network is the process of identifying the communications protocol used in the network. This problem arises in various situations such as eavesdropping, intelligent jamming, cognitive radio, and…

Information Theory · Computer Science 2017-04-19 Mehdi Teimouri , Hamidreza Kakaei Motlagh

Automated testing plays a crucial role in ensuring software security. It heavily relies on formal specifications to validate the correctness of the system behavior. However, the main approach to defining these formal specifications is…

Software Engineering · Computer Science 2025-04-03 Hui Li , Zhen Dong , Siao Wang , Hui Zhang , Liwei Shen , Xin Peng , Dongdong She

Millions of people with severe speech disorders around the world may regain their communication capabilities through techniques of silent speech recognition (SSR). Using electroencephalography (EEG) as a biomarker for speech decoding has…

Computation and Language · Computer Science 2019-05-07 Dong Cao , Dongdong Zhang , HaiBo Chen

ASR has achieved remarkable global progress, yet African low-resource languages remain rigorously underrepresented, producing barriers to digital inclusion across the continent with more than +2000 languages. This systematic literature…