English
Related papers

Related papers: Detecting Data Type Inconsistencies in a Property …

200 papers

In day-to-day life, a highly demanding task for IT companies is to find the right candidates who fit the companies' culture. This research aims to comprehend, analyze and automatically produce convincing outcomes to find a candidate who…

Runtime verification enables checking temporal logic specifications over individual execution traces and offers a scalable alternative to exhaustive formal verification. In practice, systems must satisfy dozens to hundreds of temporal…

Logic in Computer Science · Computer Science 2026-05-14 Arınç Demir , Dogan Ulus

Data analysts commonly utilize statistics to summarize large datasets. While it is often sufficient to explore only the summary statistics of a dataset (e.g., min/mean/max), Anscombe's Quartet demonstrates how such statistics can be…

Computational Geometry · Computer Science 2019-10-31 Hang Chen , Utkarsh Soni , Yafeng Lu , Vahan Huroyan , Ross Maciejewski , Stephen Kobourov

Knowledge Graphs are pivotal for semantic data integration. The real-world data they model is often inherently uncertain. Within knowledge graphs, uncertainty manifests in three distinct levels: imprecise attribute values, probabilistic…

Artificial Intelligence · Computer Science 2026-05-19 Jingcheng Wu

Since long, corporations are looking for knowledge sources which can provide structured description of data and can focus on meaning and shared understanding. Structures which can facilitate open world assumptions and can be flexible enough…

Artificial Intelligence · Computer Science 2014-03-31 Iti Mathur , Nisheeth Joshi , Hemant Darbari , Ajai Kumar

Many real-world applications of image recognition require multi-label learning, whose goal is to find all labels in an image. Thus, robustness of such systems to adversarial image perturbations is extremely important. However, despite a…

Computer Vision and Pattern Recognition · Computer Science 2022-07-13 Hassan Mahmood , Ehsan Elhamifar

With the growing adoption of AI-based systems across everyday life, the need to understand their decision-making mechanisms is correspondingly increasing. The level at which we can trust the statistical inferences made from AI-based…

Machine Learning · Statistics 2024-04-15 Adam Spannaus , Heidi A. Hanson , Lynne Penberthy , Georgia Tourassi

Graph-based fraud detection has heretofore received considerable attention. Owning to the great success of Graph Neural Networks (GNNs), many approaches adopting GNNs for fraud detection has been gaining momentum. However, most existing…

Machine Learning · Computer Science 2022-10-25 Zhixun Li , Dingshuo Chen , Qiang Liu , Shu Wu

Through legislation and technical advances users gain more control over how their data is processed, and they expect online services to respect their privacy choices and preferences. However, data may be processed for many different…

Databases · Computer Science 2024-03-19 Dorota Filipczuk , Enrico H. Gerding , George Konstantinidis

In the faceless world of the Internet,online fraud is one of the greatest reasons of loss for web merchants.Advanced solutions are needed to protect e businesses from the constant problems of fraud.Many popular fraud detection algorithms…

Networking and Internet Architecture · Computer Science 2010-06-15 P. Srinivasulu , J. Ranga Rao , I. Ramesh Babu

Most of the existing techniques to product discovery rely on syntactic approaches, thus ignoring valuable and specific semantic information of the underlying standards during the process. The product data comes from different heterogeneous…

Artificial Intelligence · Computer Science 2020-10-19 Sarika Jain

A Transaction database contains a set of transactions along with items and their associated timestamps. Transitional patterns are the patterns which specify the dynamic behavior of frequent patterns in a transaction database. To discover…

Databases · Computer Science 2014-10-09 B. Kiran Kumar , A. Bhaskar

In recent years there has been a rapid increase in classification methods on graph structured data. Both in graph kernels and graph neural networks, one of the implicit assumptions of successful state-of-the-art models was that…

Machine Learning · Computer Science 2019-11-01 Sergei Ivanov , Sergei Sviridov , Evgeny Burnaev

The growing popularity of Graph Representation Learning (GRL) methods has resulted in the development of a large number of models applied to a miscellany of domains. Behind this diversity of domains, there is a strong heterogeneity of…

Machine Learning · Computer Science 2022-05-20 Pierre Sevestre , Marine Neyret

Exact pattern matching in labeled graphs is the problem of searching paths of a graph $G=(V,E)$ that spell the same string as the given pattern $P[1..m]$. This basic problem can be found at the heart of more complex operations on variation…

Computational Complexity · Computer Science 2019-02-12 Massimo Equi , Roberto Grossi , Alexandru I. Tomescu , Veli Mäkinen

Teaching large language models (LLMs) to use tools is crucial for improving their problem-solving abilities and expanding their applications. However, effectively using tools is challenging because it requires a deep understanding of tool…

Machine Learning · Computer Science 2025-06-27 Jingwei Wang , Zai Zhang , Hao Qian , Chunjing Gan , Binbin Hu , Ziqi Liu , Zhiqiang Zhang , Jun Zhou , Bin Shi , Bo Dong

Subgraph pattern detection aims to uncover complex interaction structures in graphs. However, state-of-the-art graph neural network (GNN)-based solutions assume centralized access to the entire graph. When graphs are instead distributed…

Machine Learning · Computer Science 2026-05-08 Selin Ceydeli , Rui Wang , Kubilay Atasu

The discipline of process mining deals with analyzing execution data of operational processes, extracting models from event data, checking the conformance between event data and normative models, and enhancing all aspects of processes.…

Data Structures and Algorithms · Computer Science 2022-04-11 Marco Pegoraro , Merih Seran Uysal , Wil M. P. van der Aalst

Building patterns are important urban structures that reflect the effect of the urban material and social-economic on a region. Previous researches are mostly based on the graph isomorphism method and use rules to recognize building…

Computer Vision and Pattern Recognition · Computer Science 2023-04-24 Wei Zhiwei , Xiao Yi , Tong Ying , Xu Wenjia , Wang Yang

In 2012 we announced the House of Graphs (https://houseofgraphs.org) [Discrete Appl. Math. 161 (2013), 311-314], which was a new database of graphs. The House of Graphs hosts complete lists of graphs of various graph classes, but its main…

Combinatorics · Mathematics 2022-11-01 Kris Coolsaet , Sven D'hondt , Jan Goedgebeur