English
Related papers

Related papers: ADDiff: Semantic Differencing for Activity Diagram…

200 papers

Rapid improvements in the performance of machine learning models have pushed them to the forefront of data-driven decision-making. Meanwhile, the increased integration of these models into various application domains has further highlighted…

Human-Computer Interaction · Computer Science 2021-09-14 Oscar Gomez , Steffen Holter , Jun Yuan , Enrico Bertini

Task-oriented dialogue is difficult in part because it involves understanding user intent, collecting information from the user, executing API calls, and generating helpful and fluent responses. However, for complex tasks one must also…

Computation and Language · Computer Science 2023-06-05 Stefania Raimondo , Christopher Pal , Xiaotian Liu , David Vazquez , Hector Palacios

Although the Asset Administration Shell (AAS) standard provides a structured and machine-readable representation of industrial assets, their semantic comparability remains a major challenge, particularly when different vocabularies and…

Information Retrieval · Computer Science 2026-02-11 Ariana Metović , Nicolai Maisch , Samed Ajdinović , Armin Lechler , Andreas Wortmann , Oliver Riedel

Dynamic model inference techniques have been the center of many research projects recently. There are now multiple open source implementations of state-of-the-art algorithms, which provide basic abstraction and merging capabilities. Most of…

Software Engineering · Computer Science 2019-04-01 Mohammad Jafar Mashhadi , Hadi Hemmati

Difference-in-differences (DID) is one of the most popular tools used to evaluate causal effects of policy interventions. This paper extends the DID methodology to accommodate interval outcomes, which are often encountered in empirical…

Econometrics · Economics 2025-12-10 Daisuke Kurisu , Yuta Okamoto , Taisuke Otsu

Modern machine learning models require large labelled datasets to achieve good performance, but manually labelling large datasets is expensive and time-consuming. The data programming paradigm enables users to label large datasets…

Machine Learning · Computer Science 2024-02-12 Naiqing Guan , Nick Koudas

We introduce a framework for designing multi-scale, adaptive, shift-invariant frames and bi-frames for representing signals. The new framework, called AdaFrame, improves over dictionary learning-based techniques in terms of computational…

Computer Vision and Pattern Recognition · Computer Science 2015-07-20 Cheng Tai , Weinan E

To make an engaging video, people sequence interesting moments and add visuals such as B-rolls or text. While video editing requires time and effort, AI has recently shown strong potential to make editing easier through suggestions and…

Human-Computer Interaction · Computer Science 2025-02-17 Mina Huh , Dingzeyu Li , Kim Pimmel , Hijung Valentina Shin , Amy Pavel , Mira Dontcheva

In the context of model-driven development, ensuring the correctness and consistency of evolving models is paramount. This paper investigates the application of Dynamic Symbolic Execution (DSE) for semantic difference analysis of…

Software Engineering · Computer Science 2026-03-10 Johanna Grahl , Bernhard Rumpe , Max Stachon , Sebastian Stüber

This paper presents a new functionality of the Automatic Differentiation (AD) tool Tapenade. Tapenade generates adjoint codes which are widely used for optimization or inverse problems. Unfortunately, for large applications the adjoint code…

Data Structures and Algorithms · Computer Science 2007-05-23 Laurent Hascoet , Mauricio Araya-Polo

Background: Software development teams are increasingly diverse, embedded, and cross-disciplinary. Domain experts (DEs) from different disciplines collaborate with professional software developers (SDEs), bringing complementary expertise in…

Software Engineering · Computer Science 2026-02-13 Zixuan Feng , Thomas Zimmermann , Lorenzo Pisani , Christopher Gooley , Jeremiah Wander , Anita Sarma

Local feature extraction is a standard approach in computer vision for tackling important tasks such as image matching and retrieval. The core assumption of most methods is that images undergo affine transformations, disregarding more…

Computer Vision and Pattern Recognition · Computer Science 2023-04-04 Guilherme Potje , Felipe Cadar , Andre Araujo , Renato Martins , Erickson R. Nascimento

The biaffine parser of Dozat and Manning (2017) was successfully extended to semantic dependency parsing (SDP) (Dozat and Manning, 2018). Its performance on graphs is surprisingly high given that, without the constraint of producing a tree,…

Computation and Language · Computer Science 2024-02-13 Marie Candito

Autonomous driving systems continue to face safety-critical failures, often triggered by rare and unpredictable corner cases that evade conventional testing. We present the Autonomous Driving Digital Twin (ADDT) framework, a high-fidelity…

Robotics · Computer Science 2025-04-15 Bo Yu , Chaoran Yuan , Zishen Wan , Jie Tang , Fadi Kurdahi , Shaoshan Liu

Scientific workflows are often represented as directed acyclic graphs (DAGs), where vertices correspond to tasks and edges represent the dependencies between them. Since these graphs are often large in both the number of tasks and their…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-07-15 Svetlana Kulagina , Henning Meyerhenke , Anne Benoit

The detection of anomalous behaviours is an emerging need in many applications, particularly in contexts where security and reliability are critical aspects. While the definition of anomaly strictly depends on the domain framework, it is…

Machine Learning · Computer Science 2022-07-11 Elisa Marcelli , Tommaso Barbariol , Gian Antonio Susto

As autonomous coding agents become deeply embedded in software development workflows, their high operational velocity introduces a critical oversight challenge: the accumulating divergence between agentic actions and architectural intent.…

Software Engineering · Computer Science 2026-05-05 Matteo Casserini , Alessandro Facchini , Andrea Ferrario

The rise of Large Language Model-based Automated Algorithm Design (LLM-AAD) has transformed algorithm development by autonomously generating code implementations of expert-level algorithms. Unlike traditional expert-driven algorithm…

Artificial Intelligence · Computer Science 2026-03-04 Rui Zhang , Zhichao Lu

This paper presents an overview and features of an Analysis Description Language (ADL) designed for HEP data analysis. ADL is a domain specific, declarative language that describes the physics content of an analysis in a standard and…

Computational Physics · Physics 2021-09-08 Harrison B. Prosper , Sezen Sekmen , Gokhan Unel , Arpon Paul

Data flow diagrams (DFDs) are popular for sketching systems for subsequent threat modelling. Their limited semantics make reasoning about them difficult, but enriching them endangers their simplicity and subsequent ease of take up. We…

Cryptography and Security · Computer Science 2020-06-09 Shamal Faily , Riccardo Scandariato , Adam Shostack , Laurens Sion , Duncan Ki-Aries