中文
相关论文

相关论文: Deducing Security Goals From Shape Analysis Senten…

200 篇论文

Sentence function is an important linguistic feature referring to a user's purpose in uttering a specific sentence. The use of sentence function has shown promising results to improve the performance of conversation models. However, there…

计算与语言 · 计算机科学 2019-11-25 Wei Bi , Jun Gao , Xiaojiang Liu , Shuming Shi

Finding attackable sentences in an argument is the first step toward successful refutation in argumentation. We present a first large-scale analysis of sentence attackability in online arguments. We analyze driving reasons for attacks in…

计算与语言 · 计算机科学 2020-10-07 Yohan Jo , Seojin Bang , Emaad Manzoor , Eduard Hovy , Chris Reed

Goal oriented dialogue systems were originally designed as a natural language interface to a fixed data-set of entities that users might inquire about, further described by domain, slots, and values. As we move towards adaptable dialogue…

Natural language often combines multiple ideas into complex sentences. Atomic sentence extraction, the task of decomposing complex sentences into simpler sentences that each express a single idea, improves performance in information…

计算与语言 · 计算机科学 2026-01-05 Lineesha Kamana , Akshita Ananda Subramanian , Mehuli Ghosh , Suman Saha

In goal-oriented requirement engineering, boundary conditions(BC) are used to capture the divergence of goals, i.e., goals cannot be satisfied as a whole in some circumstances. As the goals are formally described by temporal logic, solving…

软件工程 · 计算机科学 2022-03-28 Yechuan Xia , Jianwen Li , Shengping Xiao , Weikai Miao , Geguang Pu

Large-scale pre-trained self-supervised learning (SSL) models have shown remarkable advancements in speech-related tasks. However, the utilization of these models in complex multi-talker scenarios, such as extracting a target speaker in a…

音频与语音处理 · 电气工程与系统科学 2024-02-21 Junyi Peng , Marc Delcroix , Tsubasa Ochiai , Oldrich Plchot , Takanori Ashihara , Shoko Araki , Jan Cernocky

This is an experiential study of investigating a consistent method for deriving the correlation between sentence vector and semantic meaning of a sentence. We first used three state-of-the-art word/sentence embedding methods including…

计算与语言 · 计算机科学 2023-08-09 Tianyi Sun , Bradley Nelson

In the domain of Aspect-Based Sentiment Analysis (ABSA), generative methods have shown promising results and achieved substantial advancements. However, despite these advancements, the tasks of extracting sentiment quadruplets, which…

计算与语言 · 计算机科学 2024-10-04 Yongsik Seo , Sungwon Song , Ryang Heo , Jieyong Kim , Dongha Lee

We pose 3D scene-understanding as a problem of parsing in a grammar. A grammar helps us capture the compositional structure of real-word objects, e.g., a chair is composed of a seat, a back-rest and some legs. Having multiple rules for an…

计算机视觉与模式识别 · 计算机科学 2012-11-09 Abhishek Anand , Sherwin Li

Readability-controlled text simplification (RCTS) rewrites texts to lower readability levels while preserving their meaning. RCTS models often depend on parallel corpora with readability annotations on both source and target sides. Such…

计算与语言 · 计算机科学 2024-12-17 Abdullah Barayan , Jose Camacho-Collados , Fernando Alva-Manchego

Stance detection is the task of determining the viewpoint expressed in a text towards a given target. A specific direction within the task focuses on cross-target stance detection, where a model trained on samples pertaining to certain…

计算与语言 · 计算机科学 2024-09-23 Parisa Jamadi Khiabani , Arkaitz Zubiaga

The detection of political fake statements is crucial for maintaining information integrity and preventing the spread of misinformation in society. Historically, state-of-the-art machine learning models employed various methods for…

计算与语言 · 计算机科学 2023-06-16 Mars Gokturk Buchholz

We study the fundamental issue of decidability of satisfiability over string logics with concatenations and finite-state transducers as atomic operations. Although restricting to one type of operations yields decidability, little is known…

计算机科学中的逻辑 · 计算机科学 2015-11-06 Anthony W. Lin , Pablo Barcelo

Recognizing the category of the object and using the features of the object itself to predict grasp configuration is of great significance to improve the accuracy of the grasp detection model and expand its application. Researchers have…

机器人学 · 计算机科学 2022-03-03 Mingshuai Dong , Shimin Wei , Jianqin Yin , Xiuli Yu

Enforcing security requirements in networked information systems relies on security controls to mitigate the risks from increasingly dangerous threats. Configuring security controls is challenging; even nowadays, administrators must perform…

密码学与安全 · 计算机科学 2025-01-14 Cataldo Basile , Gabriele Gatti , Francesco Settanni

Privacy and interpretability are two important ingredients for achieving trustworthy machine learning. We study the interplay of these two aspects in graph machine learning through graph reconstruction attacks. The goal of the adversary…

机器学习 · 计算机科学 2023-11-03 Iyiola E. Olatunji , Mandeep Rathee , Thorben Funke , Megha Khosla

An active topic in the study of random constraint satisfaction problems (CSPs) is the geometry of the space of satisfying or almost satisfying assignments as the function of the density, for which a precise landscape of predictions has been…

数据结构与算法 · 计算机科学 2021-06-25 Jun-Ting Hsieh , Sidhanth Mohanty , Jeff Xu

Deep learning is increasingly used as a building block of security systems. Unfortunately, neural networks are hard to interpret and typically opaque to the practitioner. The machine learning community has started to address this problem by…

机器学习 · 计算机科学 2020-04-28 Alexander Warnecke , Daniel Arp , Christian Wressnegger , Konrad Rieck

A long-standing research problem in security protocol design is how to efficiently verify security protocols with tamper-resistant global states. In this paper, we address this problem by first proposing a protocol specification framework,…

密码学与安全 · 计算机科学 2014-03-11 Li Li , Jun Pang , Yang Liu , Jun Sun , Jin Song Dong

Corpus Pattern Analysis (CPA) has been the topic of Semeval 2015 Task 15, aimed at producing a system that can aid lexicographers in their efforts to build a dictionary of meanings for English verbs using the CPA annotation process. CPA…

计算与语言 · 计算机科学 2016-04-21 Francesco Elia