English
Related papers

Related papers: Flexible categorization for auditing using formal …

200 papers

Modern predictive analytics underpinned by machine learning techniques has become a key enabler to the automation of data-driven decision making. In the context of business process management, predictive analytics has been applied to making…

Machine Learning · Computer Science 2020-06-09 Renuka Sindhgatta , Chun Ouyang , Catarina Moreira

The success of artificial intelligence (AI), and deep learning models in particular, has led to their widespread adoption across various industries due to their ability to process huge amounts of data and learn complex patterns. However,…

Artificial Intelligence · Computer Science 2023-09-22 Wei Jie Yeo , Wihan van der Heever , Rui Mao , Erik Cambria , Ranjan Satapathy , Gianmarco Mengaldo

Decentralized finance (DeFi) has become one of the most successful applications of blockchain and smart contracts. The DeFi ecosystem enables a wide range of crypto-financial activities, while the underlying smart contracts often contain…

Cryptography and Security · Computer Science 2021-04-20 Palina Tolmach , Yi Li , Shang-Wei Lin , Yang Liu

Business Processes, i.e., a set of coordinated tasks and activities to achieve a business goal, and their continuous improvements are key to the operation of any organization. In banking, business processes are increasingly dynamic as…

Computers and Society · Computer Science 2020-09-30 Shahabodin Khadivi Zand

Bipartite incidence graph sampling provides a unified representation of many sampling situations for the purpose of estimation, including the existing unconventional sampling methods, such as indirect, network or adaptive cluster sampling,…

Statistics Theory · Mathematics 2020-04-10 Martina Patone , Li-Chun Zhang

Social Networking Sites (SNS) are one of the most important ways of communication. In particular, microblogging sites are being used as analysis avenues due to their peculiarities (promptness, short texts...). There are countless researches…

Social and Information Networks · Computer Science 2022-06-28 Manuel Francisco , Juan Luis Castro

We introduce weighted finite finance automata (WFFA), a formal framework for modeling and analyzing quantitative properties of financial systems driven by uncertain economic variables such as stock prices, interest rates, and exchange…

Formal Languages and Automata Theory · Computer Science 2026-04-21 Manfred Droste , Vitaly Nürnberg

Group fairness, a class of fairness notions that measure how different groups of individuals are treated differently according to their protected attributes, has been shown to conflict with one another, often with a necessary cost in loss…

Machine Learning · Computer Science 2020-07-08 Joon Sik Kim , Jiahao Chen , Ameet Talwalkar

Deep learning models are powerful image classifiers but their opacity hinders their trustworthiness. Explanation methods for capturing the reasoning process within these classifiers faithfully and in a clear manner are scarce, due to their…

Artificial Intelligence · Computer Science 2025-02-19 Avinash Kori , Antonio Rago , Francesca Toni

Predictive business process analytics has become important for organizations, offering real-time operational support for their processes. However, these algorithms often perform unfair predictions because they are based on biased variables…

Artificial Intelligence · Computer Science 2024-10-04 Massimiliano de Leoni , Alessandro Padella

The Dempster-Shafer theory has been extended recently for its application to expert systems. However, implementing the extended D-S reasoning model in rule-based systems greatly complicates the task of generating informative explanations.…

Artificial Intelligence · Computer Science 2013-04-11 John Yen

This paper introduces epistemic graphs as a generalization of the epistemic approach to probabilistic argumentation. In these graphs, an argument can be believed or disbelieved up to a given degree, thus providing a more fine--grained…

Artificial Intelligence · Computer Science 2020-01-15 Anthony Hunter , Sylwia Polberg , Matthias Thimm

In pattern analysis, information regarding an object can often be drawn from its surroundings. This paper presents a method for handling uncertainty when using context of symbols and texts for analyzing technical drawings. The method is…

Artificial Intelligence · Computer Science 2013-04-10 Bjornar Tessem , Lars Johan Ersland

Companies regularly spend millions of dollars producing electronically-stored documents in legal matters. Recently, parties on both sides of the 'legal aisle' are accepting the use of machine learning techniques like text classification to…

Information Retrieval · Computer Science 2019-12-23 Christian J. Mahoney , Jianping Zhang , Nathaniel Huber-Fliflet , Peter Gronvall , Haozhen Zhao

Graph classes of bounded tree rank were introduced recently in the context of the model checking problem for first-order logic of graphs. These graph classes are a common generalization of graph classes of bounded degree and bounded…

Discrete Mathematics · Computer Science 2025-10-08 Jakub Gajarský , Rose McCarty

Corporate mergers and acquisitions (M&A) account for billions of dollars of investment globally every year, and offer an interesting and challenging domain for artificial intelligence. However, in these highly sensitive domains, it is…

Computation and Language · Computer Science 2020-10-26 Linyi Yang , Eoin M. Kenny , Tin Lok James Ng , Yi Yang , Barry Smyth , Ruihai Dong

The automated analysis of administrative documents is an important field in document recognition that is studied for decades. Invoices are key documents among these huge amounts of documents available in companies and public services.…

Information Retrieval · Computer Science 2022-10-11 Thomas Saout , Frédéric Lardeux , Frédéric Saubion

National and international guidelines for trustworthy artificial intelligence (AI) consider explainability to be a central facet of trustworthy systems. This paper outlines a multi-disciplinary rationale for explainability auditing.…

Computers and Society · Computer Science 2025-04-22 Markus Langer , Kevin Baum , Kathrin Hartmann , Stefan Hessel , Timo Speith , Jonas Wahl

Biclustering numerical data became a popular data-mining task in the beginning of 2000's, especially for analysing gene expression data. A bicluster reflects a strong association between a subset of objects and a subset of attributes in a…

Data Structures and Algorithms · Computer Science 2011-11-15 Mehdi Kaytoue , Sergei O. Kuznetsov , Juraj Macko , Wagner Meira , Amedeo Napoli

Financial structures such as securitisations, insurance contracts, and other hierarchical claims systems can be interpreted as deterministic allocation mechanisms acting on stochastic inflow processes. This paper develops a general…

Computational Finance · Quantitative Finance 2026-02-17 Antonio Scala