English
Related papers

Related papers: Conflict Essences for Transformation Rules with Ne…

200 papers

Embeddings of words and concepts capture syntactic and semantic regularities of language; however, they have seen limited use as tools to study characteristics of different corpora and how they relate to one another. We introduce…

Computation and Language · Computer Science 2021-03-23 Denis Newman-Griffis , Venkatesh Sivaraman , Adam Perer , Eric Fosler-Lussier , Harry Hochheiser

The entanglement of two qubits, each defined as an effective two-level, spin 1/2 system, is investigated for the case that the qubits interact via a Heisenberg XY interaction and are subject to decoherence due to population relaxation and…

Quantum Physics · Physics 2007-05-23 Jin Wang , Herman Batelaan , Jeremy Podany , Anthony F. Starace

The state-of-the-art model for structured sentiment analysis casts the task as a dependency parsing problem, which has some limitations: (1) The label proportions for span prediction and span relation prediction are imbalanced. (2) The span…

Computation and Language · Computer Science 2022-03-22 Wenxuan Shi , Fei Li , Jingye Li , Hao Fei , Donghong Ji

Model-driven software engineering is a suitable method for dealing with the ever-increasing complexity of software development processes. Graphs and graph transformations have proven useful for representing such models and changes to them.…

Software Engineering · Computer Science 2023-07-19 Alexander Lauer

Interpretable rationales for model predictions are crucial in practical applications. We develop neural models that possess an interpretable inference process for dependency parsing. Our models adopt instance-based inference, where…

Computation and Language · Computer Science 2021-09-29 Hiroki Ouchi , Jun Suzuki , Sosuke Kobayashi , Sho Yokoi , Tatsuki Kuribayashi , Masashi Yoshikawa , Kentaro Inui

Recent studies on knowledge graph embedding focus on mapping entities and relations into low-dimensional vector spaces. While most existing models primarily exploit structural information, knowledge graphs also contain rich contextual and…

Computation and Language · Computer Science 2025-09-03 Qisong Li , Ji Lin , Sijia Wei , Neng Liu

While pre-trained language models excel at semantic understanding, they often struggle to capture nuanced affective information critical for affective recognition tasks. To address these limitations, we propose a novel framework for…

Computation and Language · Computer Science 2025-03-03 Seungah Son , Andrez Saurez , Dongsoo Har

Modern distributed systems often rely on so called weakly-consistent databases, which achieve scalability by sacrificing the consistency guarantee of distributed transaction processing. Such databases have been formalised in two different…

Logic in Computer Science · Computer Science 2017-08-02 Andrea Cerone , Alexey Gotsman , Hongseok Yang

Adversarial examples are malicious inputs crafted to induce misclassification. Commonly studied sensitivity-based adversarial examples introduce semantically-small changes to an input that result in a different model prediction. This paper…

Machine Learning · Computer Science 2020-08-05 Florian Tramèr , Jens Behrmann , Nicholas Carlini , Nicolas Papernot , Jörn-Henrik Jacobsen

Measurement incompatibility is the most basic resource that distinguishes quantum from classical physics. Contextuality is the critical resource behind the power of some models of quantum computation and is also a necessary ingredient for…

Quantum Physics · Physics 2019-02-20 Zhen-Peng Xu , Adán Cabello

We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple graphs declaring the allowed or forbidden relationships…

Software Engineering · Computer Science 2008-12-18 Juan de Lara , Esther Guerra

This paper presents a comprehensive approach for model-based diagnosis which includes proposals for characterizing and computing preferred diagnoses, assuming that the system description is augmented with a system structure (a directed…

Artificial Intelligence · Computer Science 2014-11-17 A. Darwiche

In view of the problem that each subchain in the chain-of-model (CoM) relies only on the information of the previous subchain and may lose long-range dependencies due to the causal mask blocking the global context flow between multi-level…

Machine Learning · Computer Science 2025-06-10 Libo Wang

Transformer architectures, capable of capturing sequential dependencies in the history of user interactions, have become the dominant approach in sequential recommender systems. Despite their success, such models consider sequence elements…

Information Retrieval · Computer Science 2026-03-02 Artur Gimranov , Viacheslav Yusupov , Elfat Sabitov , Tatyana Matveeva , Anton Lysenko , Ruslan Israfilov , Evgeny Frolov

Despite the growing interest in causal and statistical inference for settings with data dependence, few methods currently exist to account for missing data in dependent data settings; most classical missing data methods in statistics and…

Concurrent model synchronization is the task of restoring consistency between two correlated models after they have been changed concurrently and independently. To determine whether such concurrent model changes conflict with each other and…

Software Engineering · Computer Science 2020-11-09 Lars Fritsche , Jens Kosiol , Adrian Möller , Andy Schürr , Gabriele Taentzer

Consistent and holistic expression of software requirements is important for the success of software projects. In this study, we aim to enhance the efficiency of the software development processes by automatically identifying conflicting…

Software Engineering · Computer Science 2024-07-31 Garima Malik , Savas Yildirim , Mucahit Cevik , Ayse Bener , Devang Parikh

Often in Software Engineering, a modeling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsistent transition systems are proposed in this paper as one such…

Logic in Computer Science · Computer Science 2023-03-24 Ana Cruz , Alexandre Madeira , LuÂ-Ã-s Soares Barbosa

Entanglement is a physical resource of a quantum system just like mass, charge or energy. Moreover it is an essential tool for many purposes of nowadays quantum information processing, e.g. quantum teleportation, quantum cryptography or…

Disordered Systems and Neural Networks · Physics 2008-02-15 Imre Varga , Jose Antonio Mendez-Bermudez

Many prescriptive approaches to developing software intensive systems have been advocated but each is based on assumptions about context. It has been found that practitioners do not follow prescribed methodologies, but rather select and…

Software Engineering · Computer Science 2021-01-01 Diana Kirk , Stephen G. MacDonell , Ewan Tempero