English
Related papers

Related papers: Design, Implementation and Evaluation of MTBDD bas…

200 papers

Bitwise operations are an important component of modern day programming. Many widely-used data structures (e.g., bitmap indices in databases) rely on fast bitwise operations on large bit vectors to achieve high performance. Unfortunately,…

In this work, we first define relations on the fuzzy parametrized soft sets and study their properties. We also give a decision making method based on these relations. In approximate reasoning, relations on the fuzzy parametrized soft sets…

Logic · Mathematics 2016-02-12 Irfan Deli , Naim Çağman

Software effort estimation plays a critical role in project management. Erroneous results may lead to overestimating or underestimating effort, which can have catastrophic consequences on project resources. Machine-learning techniques are…

Software Engineering · Computer Science 2019-02-12 Ali Bou Nassif , Mohammad Azzeh , Ali Idri , Alain Abran

We present a simple yet general and efficient approach to representation of computational meshes. Meshes are represented as sets of mesh entities of different topological dimensions and their incidence relations. We discuss a…

Numerical Analysis · Mathematics 2012-05-15 Anders Logg

Wireless Sensor Networks (WSNs) are indispensable for data-intensive applications, necessitating efficient energy management and robust data fusion techniques. This paper proposes an integrated framework leveraging fuzzy logic and…

Networking and Internet Architecture · Computer Science 2024-07-19 Komal

In recent years, manifold methods have moved into focus as tools for dimension reduction. Assuming that the high-dimensional data actually lie on or close to a low-dimensional nonlinear manifold, these methods have shown convincing results…

Machine Learning · Statistics 2020-12-23 Moritz Herrmann , Fabian Scheipl

BDDs are representations of a Boolean expression in the form of a directed acyclic graph. BDDs are widely used in several fields, particularly in model checking and hardware verification. There are several implementations for BDD…

Logic in Computer Science · Computer Science 2023-05-02 Luigi Capogrosso , Luca Geretti , Marco Cristani , Franco Fummi , Tiziano Villa

This paper proposes a new fuzzy assessing procedure with application in management decision making. The proposed fuzzy approach build the membership functions for system characteristics of a standby repairable system. This method is used to…

Artificial Intelligence · Computer Science 2017-07-07 Shoele Jamali , Mehrdad J. Bani

Relational representation of knowledge makes it possible to perform all the computations and decision making in a uniform relational way by means of special relational compositions called triangle and square products. In this paper some…

Computational Engineering, Finance, and Science · Computer Science 2007-05-23 Ladislav J. Kohout , Eunjin Kim , Gary Zenz

This article advocates factorized and hybrid dimensional decompositions (FDD/HDD), as alternatives to analysis-of-variance dimensional decomposition (ADD), for second-moment statistical analysis of multivariate functions. New formulae…

Numerical Analysis · Mathematics 2013-10-28 Sharif Rahman

Many automatically analyzable scientific questions are well-posed and offer a variety of information about the expected outcome a priori. Although often being neglected, this prior knowledge can be systematically exploited to make automated…

Computer Vision and Pattern Recognition · Computer Science 2018-02-07 Johannes Stegmaier , Ralf Mikut

Tabular data stands out as one of the most frequently encountered types in high energy physics. Unlike commonly homogeneous data such as pixelated images, simulating high-dimensional tabular data and accurately capturing their correlations…

Instrumentation and Detectors · Physics 2024-04-30 Cheng Jiang , Sitian Qian , Huilin Qu

The problem of minimizing finite fuzzy interpretations in fuzzy description logics (FDLs) is worth studying. For example, the structure of a fuzzy/weighted social network can be treated as a fuzzy interpretation in FDLs, where actors are…

Artificial Intelligence · Computer Science 2023-03-22 Linh Anh Nguyen

A common approach to data analysis involves understanding and manipulating succinct representations of data. In earlier work, we put forward a succinct representation system for relational data called factorised databases and reported on…

Databases · Computer Science 2013-07-02 Nurzhan Bakibayev , Tomáš Kočiský , Dan Olteanu , Jakub Závodný

Constructing uncertainty sets as unions of multiple subsets has emerged as an effective approach for creating compact and flexible uncertainty representations in data-driven robust optimization (RO). This paper focuses on two separate…

Optimization and Control · Mathematics 2025-02-18 Yun Li , Neil Yorke-Smith , Tamas Keviczky

Binary Decision Diagrams (BDDs) are a widely used data structure for efficient Boolean function representation. Context-Free-Language Ordered Binary Decision Diagrams (CFLOBDDs) are a recently introduced hierarchical data structure that…

Formal Languages and Automata Theory · Computer Science 2026-05-18 Meghana Aparna Sistla , Swarat Chaudhuri , Thomas W. Reps

Fuzzy rough set theory is effective for processing datasets with complex attributes, supported by a solid mathematical foundation and closely linked to kernel methods in machine learning. Attribute reduction algorithms and classifiers based…

Artificial Intelligence · Computer Science 2025-01-31 Shuyin Xia , Xiaoyu Lian , Binbin Sang , Guoyin Wang , Xinbo Gao

Multimodal federated learning in real-world settings often encounters incomplete and heterogeneous data across clients. This results in misaligned local feature representations that limit the effectiveness of model aggregation. Unlike prior…

Machine Learning · Computer Science 2025-10-28 Duong M. Nguyen , Trong Nghia Hoang , Thanh Trung Huynh , Quoc Viet Hung Nguyen , Phi Le Nguyen

The Airborne Collision Avoidance System Xu (ACAS-Xu) relies on large certified Look-Up Tables (LUTs) that encode the exact decision logic used in operation. Neural-network-based approximations have been proposed to reduce memory…

Logic in Computer Science · Computer Science 2026-05-01 Martin Boniol , Julien Brunel , Jean-Baptiste Chaudron , Christophe Garion , Xavier Thirioux

Mixed integer sets have a strong modeling capacity to describe practical systems. Nevertheless, incorporating a mixed integer set often renders an optimization formulation drastically more challenging to compute. In this paper, we study how…

Optimization and Control · Mathematics 2023-12-22 Wei Wang , Bo Zeng