中文
相关论文

相关论文: Towards a More User-friendly Correction

200 篇论文

Modern neural networks have greatly improved performance across speech recognition benchmarks. However, gains are often driven by frequent words with limited semantic weight, which can obscure meaningful differences in word error rate, the…

计算与语言 · 计算机科学 2026-04-21 Lasse Borgholt , Jakob Havtorn , Christian Igel , Lars Maaløe , Zheng-Hua Tan

Argumentation is a very active research field of Artificial Intelligence concerned with the representation and evaluation of arguments used in dialogues between humans and/or artificial agents. Acceptability semantics of formal…

人工智能 · 计算机科学 2025-03-05 Zlatina Mileva , Antonis Bikakis , Fabio Aurelio D'Asaro , Mark Law , Alessandra Russo

Early stages of system development involve outlining desired features such as functionality, availability, or usability. Specifications are derived from these features that concretize vague ideas presented in natural languages. The…

软件工程 · 计算机科学 2014-10-09 Rongjie Yan , Chih-Hong Cheng , Guangquan Zhang , Yesheng Chai

Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occurs-check) and increased expressivity (cyclic terms can…

编程语言 · 计算机科学 2007-05-23 Roberto Bagnara , Roberta Gori , Patricia M. Hill , Enea Zaffanella

In this paper, we introduce a novel interpreting framework that learns an interpretable model based on an ontology-based sampling technique to explain agnostic prediction models. Different from existing approaches, our algorithm considers…

机器学习 · 计算机科学 2020-04-02 Phung Lai , NhatHai Phan , Han Hu , Anuja Badeti , David Newman , Dejing Dou

With a growing interest in modeling inherent subjectivity in natural language, we present a linguistically-motivated process to understand and analyze the writing style of individuals from three perspectives: lexical, syntactic, and…

计算与语言 · 计算机科学 2019-09-19 Gaurav Verma , Balaji Vasan Srinivasan

This paper introduces an automated heuristic process able to achieve high accuracy when matching graphical user interface widgets across multiple versions of a target application. The proposed implementation is flexible as it allows full…

软件工程 · 计算机科学 2017-02-24 Arthur-Jozsef Molnar

Grammatical Error Correction (GEC) is a task of detecting and correcting grammatical errors in sentences. Recently, neural machine translation systems have become popular approaches for this task. However, these methods lack the use of…

计算与语言 · 计算机科学 2021-11-08 Zhaohong Wan , Xiaojun Wan

When faced with complex choices, users refine their own preference criteria as they explore the catalogue of options. In this paper we propose an approach to preference elicitation suited for this scenario. We extend Coactive Learning,…

人工智能 · 计算机科学 2016-12-07 Stefano Teso , Paolo Dragone , Andrea Passerini

Modern software systems, like GNU/Linux distributions or Eclipse-based development environment, are often deployed by selecting components out of large component repositories. Maintaining such software systems by performing component…

软件工程 · 计算机科学 2011-09-05 Roberto Di Cosmo , Olivier Lhomme , Claude Michel

The paper advocates for LLMs to enhance the accessibility, usage and explainability of rule-based legal systems, contributing to a democratic and stakeholder-oriented view of legal technology. A methodology is developed to explore the…

人工智能 · 计算机科学 2023-11-21 Marco Billi , Alessandro Parenti , Giuseppe Pisano , Marco Sanchi

Software systems are increasingly making decisions on behalf of humans, raising concerns about the fairness of such decisions. Such concerns are usually attributed to flaws in algorithmic design or biased data, but we argue that they are…

软件工程 · 计算机科学 2021-04-09 Ali Farahani , Liliana Pasquale , Amel Bennaceur , Thomas Welsh , Bashar Nuseibeh

Our experience with a critiquing system shows that when the system detects problems with the user's performance, multiple critiques are often produced. Analysis of a corpus of actual critiques revealed that even though each individual…

cmp-lg · 计算机科学 2007-05-23 Terrence Harvey , Sandra Carberry

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…

计算与语言 · 计算机科学 2018-11-06 Michael Filhol

A key challenge facing natural language interfaces is enabling users to understand the capabilities of the underlying system. We propose a novel approach for generating explanations of a natural language interface based on semantic parsing.…

计算与语言 · 计算机科学 2022-04-29 George Tolkachev , Stephen Mell , Steve Zdancewic , Osbert Bastani

In real practice, questions are typically complex and knowledge-intensive, requiring Large Language Models (LLMs) to recognize the multifaceted nature of the question and reason across multiple information sources. Iterative and adaptive…

计算与语言 · 计算机科学 2025-12-05 Boyi Zhang , Zhuo Liu , Hangfeng He

Decision tree learning is a widely used approach in machine learning, favoured in applications that require concise and interpretable models. Heuristic methods are traditionally used to quickly produce models with reasonably high accuracy.…

Natural language explanations in recommender systems are often framed as a review generation task, leveraging user reviews as ground-truth supervision. While convenient, this approach conflates a user's opinion with the system's reasoning,…

信息检索 · 计算机科学 2025-08-08 S. M. F. Sani , Asal Meskin , Mohammad Amanlou , Hamid R. Rabiee

Text simplification aims at making a text easier to read and understand by simplifying grammar and structure while keeping the underlying information identical. It is often considered an all-purpose generic task where the same…

计算与语言 · 计算机科学 2020-04-21 Louis Martin , Benoît Sagot , Éric de la Clergerie , Antoine Bordes

The paper announces the new long-term challenge for improving the performance of automatic speech recognition systems. The goal of the challenge is to investigate methods of correcting the recognition results on the basis of previously made…

计算与语言 · 计算机科学 2020-01-10 Marek Kubis , Zygmunt Vetulani , Mikołaj Wypych , Tomasz Ziętkiewicz