English
Related papers

Related papers: Technical Report: Refining Case Models Using Cardi…

200 papers

Supply chains involve geographically distributed manufacturing and assembly sites that must be coordinated under strict timing and resource constraints. While many existing approaches rely on Colored Petri Nets to model material flows, this…

Systems and Control · Electrical Eng. & Systems 2026-04-07 Eric Lubat , Pierre-Emmanuel Hladik , Yoann Mateu , Rémi Sauvère

This paper analyzes the notion of causality in a conceptual model, mainly as applied in software engineering. Conceptual system modeling can be considered a three-level process that begins with building a static structural description to…

Software Engineering · Computer Science 2020-05-07 Sabah Al-Fedaghi

The Santa Claus Problem is an intricate exercise for concurrent programming. This paper outlines the refinement steps to develop a highly efficient implementation with concurrent objects, starting from a simple specification. The efficiency…

Programming Languages · Computer Science 2018-10-24 Emil Sekerinski , Shucai Yao

Case Management supports knowledge workers in performing knowledge-intensive processes in a flexible way. An essential ingredient of Case Management are template processes that are modified for a specific case to suit the context of that…

Software Engineering · Computer Science 2020-06-02 Rik Eshuis

Numerous tasks in program analysis and synthesis reduce to deciding reachability in possibly infinite graphs such as those induced by Petri nets. However, the Petri net reachability problem has recently been shown to require non-elementary…

Logic in Computer Science · Computer Science 2020-10-16 Michael Blondin , Christoph Haase , Philip Offtermatt

Cardinality estimation (CardEst) is essential for optimizing query execution plans. Recent ML-based CardEst methods achieve high accuracy but face deployment challenges due to high preparation costs and lack of transferability across…

Databases · Computer Science 2025-08-25 Tianjing Zeng , Junwei Lan , Jiahong Ma , Wenqing Wei , Rong Zhu , Pengfei Li , Bolin Ding , Defu Lian , Zhewei Wei , Jingren Zhou

We present an empirical study aimed at analysing the use of viewpoints in an industrial Concurrent Engineering context. Our focus is on the viewpoints expressed in the argumentative process taking place in evaluation meetings. Our results…

Other Computer Science · Computer Science 2016-08-16 Géraldine Martin , Françoise Détienne , Elisabeth Lavigne

Cardinality Estimation over Knowledge Graphs (KG) is crucial for query optimization, yet remains a challenging task due to the semi-structured nature and complex correlations of typical Knowledge Graphs. In this work, we propose GNCE, a…

Databases · Computer Science 2024-06-04 Tim Schwabe , Maribel Acosta

Causal reasoning is essential for business process interventions and improvement, requiring a clear understanding of causal relationships among activity execution times in an event log. Recent work introduced a method for discovering causal…

Artificial Intelligence · Computer Science 2025-05-30 Yuval David , Fabiana Fournier , Lior Limonad , Inna Skarbovsky

Object Oriented Design methodology is an emerging software development approach for complex systems with huge set of requirements. Unlike procedural approach, it captures the requirements as a set of data rather than services, encapsulated…

Software Engineering · Computer Science 2014-02-12 Poornima. U. S. , Suma. V , Vasanth Kumar. H

We propose a generic numerical measure of the inconsistency of a database with respect to a set of integrity constraints. It is based on an abstract repair semantics. In particular, an inconsistency measure associated to cardinality-repairs…

Databases · Computer Science 2019-01-23 Leopoldo Bertossi

Context modeling is essential to generate coherent and consistent translation for Document-level Neural Machine Translations. The widely used method for document-level translation usually compresses the context information into a…

Computation and Language · Computer Science 2019-11-22 Zhengxin Yang , Jinchao Zhang , Fandong Meng , Shuhao Gu , Yang Feng , Jie Zhou

The development of high-quality software or software-intensive systems requires custom-tailored process models that fit the organizational and project goals as well as the development contexts. These models are a necessary prerequisite for…

Software Engineering · Computer Science 2014-01-20 Jürgen Münch

We introduce CORE, a dataset for few-shot relation classification (RC) focused on company relations and business entities. CORE includes 4,708 instances of 12 relation types with corresponding textual evidence extracted from company…

Computation and Language · Computer Science 2023-10-19 Philipp Borchert , Jochen De Weerdt , Kristof Coussement , Arno De Caigny , Marie-Francine Moens

We describe a new logical data model, called the concept-oriented model (COM). It uses mathematical functions as first-class constructs for data representation and data processing as opposed to using exclusively sets in conventional…

Databases · Computer Science 2019-11-19 Alexandr Savinov

This paper presents a practical approach to fine-grained information extraction. Through plenty of experiences of authors in practically applying information extraction to business process automation, there can be found a couple of…

Information Retrieval · Computer Science 2020-06-09 Minh-Tien Nguyen , Viet-Anh Phan , Le Thai Linh , Nguyen Hong Son , Le Tien Dung , Miku Hirano , Hajime Hotta

Class imbalance is a common and pernicious issue for the training of neural networks. Often, an imbalanced majority class can dominate training to skew classifier performance towards the majority outcome. To address this problem we…

Machine Learning · Computer Science 2026-01-09 Miguel O'Malley

With web and mobile platforms becoming more prominent devices utilized in data analysis, there are currently few systems which are not without flaw. In order to increase the performance of these systems and decrease errors of data…

Databases · Computer Science 2022-05-03 Daniel Szelogowski

We study two classes of summary-based cardinality estimators that use statistics about input relations and small-size joins in the context of graph database management systems: (i) optimistic estimators that make uniformity and conditional…

Databases · Computer Science 2021-05-20 Jeremy Chen , Yuqing Huang , Mushi Wang , Semih Salihoglu , Ken Salem

Learned cardinality estimators show promise in query cardinality prediction, yet they universally exhibit fragility to training data drifts, posing risks for real-world deployment. This work is the first to theoretical investigate how…

Databases · Computer Science 2025-07-11 Yingze Li , Xianglong Liu , Dong Wang , Zixuan Wang , Hongzhi Wang , Kaixing Zhang , Yiming Guan