English
Related papers

Related papers: Bridging the Gap between Structural and Semantic S…

200 papers

Models are heavily used in software engineering and together with their systems they evolve over time. Thus, managing their changes is an important challenge for system maintainability. Existing approaches to model differencing concentrate…

Software Engineering · Computer Science 2014-09-10 Shahar Maoz , Jan Oliver Ringert , Bernhard Rumpe

Autonomous agents rely on automated planning algorithms to achieve their objectives. Simulation-based planning offers a significant advantage over declarative models in modelling complex environments. However, relying solely on a planner…

Artificial Intelligence · Computer Science 2025-10-21 Mustafa F. Abdelwahed , Alice Toniolo , Joan Espasa , Ian P. Gent

In this work, we focus on the problem of retrieving relevant arguments for a query claim covering diverse aspects. State-of-the-art methods rely on explicit mappings between claims and premises, and thus are unable to utilize large…

Information Retrieval · Computer Science 2021-03-18 Michael Fromm , Max Berrendorf , Sandra Obermeier , Thomas Seidl , Evgeniy Faerman

Most current planners assume complete domain models and focus on generating correct plans. Unfortunately, domain modeling is a laborious and error-prone task. While domain experts cannot guarantee completeness, often they are able to…

Artificial Intelligence · Computer Science 2011-04-28 Tuan Nguyen , Subbarao Kambhampati , Minh Do

A critically challenging problem facing statisticians is the identification of a suitable framework which consolidates data of various types, from different sources, and across different time frames or scales (many of which can be missing),…

Applications · Statistics 2012-03-02 Karen Kafadar

In the past few years, the number of fine-art collections that are digitized and publicly available has been growing rapidly. With the availability of such large collections of digitized artworks comes the need to develop multimedia systems…

Computer Vision and Pattern Recognition · Computer Science 2015-05-06 Babak Saleh , Ahmed Elgammal

This paper introduces a new fundamental characteristic, \ie, the dynamic range, from real-world metric tools to deep visual recognition. In metrology, the dynamic range is a basic quality of a metric tool, indicating its flexibility to…

Computer Vision and Pattern Recognition · Computer Science 2021-03-23 Yifan Sun , Yuke Zhu , Yuhan Zhang , Pengkun Zheng , Xi Qiu , Chi Zhang , Yichen Wei

We present a conceptually simple and intuitive method to calculate and to measure the dissimilarities among 2D shapes. Several methods to interpret and to visualize the resulting dissimilarity matrix are presented and compared.

Computer Vision and Pattern Recognition · Computer Science 2022-11-10 Karel Zimmermann

Efficiently solving multi-objective optimization problems for simulation optimization of important scientific and engineering applications such as materials design is becoming an increasingly important research topic. This is due largely to…

Artificial Intelligence · Computer Science 2023-06-27 Eric Hans Lee , Bolong Cheng , Michael McCourt

AI foundation models have the capability to produce a wide array of responses to a single prompt, a feature that is highly beneficial in software engineering to generate diverse code solutions. However, this advantage introduces a…

Software Engineering · Computer Science 2024-03-21 Scott Blyth , Markus Wagner , Christoph Treude

Issues can arise when research focused on fairness, transparency, or safety is conducted separately from research driven by practical deployment concerns and vice versa. This separation creates a growing need for translational work that…

Machine Learning · Computer Science 2025-04-29 Jamelle Watson-Daniels , Flavio du Pin Calmon , Alexander D'Amour , Carol Long , David C. Parkes , Berk Ustun

We discuss the use of symmetries for analysing the structural identifiability and observability of control systems. Special emphasis is put on the role of discrete symmetries, in contrast to the more commonly studied continuous or Lie…

Maximum diversity problems arise in many practical settings from facility location to social networks, and constitute an important class of NP-hard problems in combinatorial optimization. There has been a growing interest in these problems…

Optimization and Control · Mathematics 2024-01-25 Francisco Parreño , Ramón Álvarez-Valdés , Rafael Martí

Relevance and diversity are both crucial criteria for an effective search system. In this paper, we propose a unified learning framework for simultaneously optimizing both relevance and diversity. Specifically, the problem is formalized as…

Information Retrieval · Computer Science 2015-04-21 Yadong Zhu , Yanyan Lan , Jiafeng Guo , Xueqi Cheng

[Spreadsheet] Models are invaluable tools for strategic planning. Models help key decision makers develop a shared conceptual understanding of complex decisions, identify sensitivity factors and test management scenarios. Different…

Human-Computer Interaction · Computer Science 2024-12-31 Paula Jennings

A growing body of research has demonstrated the inability of NLP models to generalize compositionally and has tried to alleviate it through specialized architectures, training schemes, and data augmentation, among other approaches. In this…

Computation and Language · Computer Science 2022-11-03 Shivanshu Gupta , Sameer Singh , Matt Gardner

Many structured prediction tasks in machine vision have a collection of acceptable answers, instead of one definitive ground truth answer. Segmentation of images, for example, is subject to human labeling bias. Similarly, there are multiple…

Computer Vision and Pattern Recognition · Computer Science 2020-08-26 Michael Firman , Neill D. F. Campbell , Lourdes Agapito , Gabriel J. Brostow

Prediction problems often admit competing models that perform almost equally well. This effect challenges key assumptions in machine learning when competing models assign conflicting predictions. In this paper, we define predictive…

Machine Learning · Computer Science 2020-09-17 Charles T. Marx , Flavio du Pin Calmon , Berk Ustun

Buildings account for a substantial portion of global energy consumption. Reducing buildings' energy usage primarily involves obtaining data from building systems and environment, which are instrumental in assessing and optimizing the…

Artificial Intelligence · Computer Science 2024-04-19 Miracle Aniakor , Vinicius V. Cogo , Pedro M. Ferreira

Measures of similarity (or dissimilarity) are a key ingredient to many machine learning algorithms. We introduce DID, a pairwise dissimilarity measure applicable to a wide range of data spaces, which leverages the data's internal structure…

Machine Learning · Statistics 2022-03-08 Théophile Cantelobre , Carlo Ciliberto , Benjamin Guedj , Alessandro Rudi