English
Related papers

Related papers: NAE-SAT-based probabilistic membership filters

200 papers

The dynamic approximate membership problem asks to represent a set S of size n, whose elements are provided in an on-line fashion, supporting membership queries without false negatives and with a false positive rate at most epsilon. That…

Data Structures and Algorithms · Computer Science 2013-04-12 Rasmus Pagh , Gil Segev , Udi Wieder

We introduce a probabilistic approach to the LMS filter. By means of an efficient approximation, this approach provides an adaptable step-size LMS algorithm together with a measure of uncertainty about the estimation. In addition, the…

Machine Learning · Statistics 2016-04-11 Jesus Fernandez-Bes , Víctor Elvira , Steven Van Vaerenbergh

This paper presents new alternatives to the well-known Bloom filter data structure. The Bloom filter, a compact data structure supporting set insertion and membership queries, has found wide application in databases, storage systems, and…

In implicit collaborative filtering, hard negative mining techniques are developed to accelerate and enhance the recommendation model learning. However, the inadvertent selection of false negatives remains a major concern in hard negative…

Information Retrieval · Computer Science 2024-03-29 Kexin Shi , Jing Zhang , Linjiajie Fang , Wenjia Wang , Bingyi Jing

In the context of variable selection, ensemble learning has gained increasing interest due to its great potential to improve selection accuracy and to reduce false discovery rate. A novel ordering-based selective ensemble learning strategy…

Machine Learning · Statistics 2017-04-28 Chunxia Zhang , Yilei Wu , Mu Zhu

We construct efficient data structures that are resilient against a constant fraction of adversarial noise. Our model requires that the decoder answers most queries correctly with high probability and for the remaining queries, the decoder…

Data Structures and Algorithms · Computer Science 2010-01-27 Victor Chen , Elena Grigorescu , Ronald de Wolf

Bloom filter is a space-efficient probabilistic data structure for checking elements' membership in a set. Given multiple sets, however, a standard Bloom filter is not sufficient when looking for the items to which an element or a set of…

Data Structures and Algorithms · Computer Science 2019-01-14 Francesco Concas , Pengfei Xu , Mohammad A. Hoque , Jiaheng Lu , Sasu Tarkoma

The difficulty of factoring large integers into primes is the basis for cryptosystems such as RSA. Due to the widespread popularity of RSA, there have been many proposed attacks on the factorization problem such as side-channel attacks…

Cryptography and Security · Computer Science 2024-08-09 Yameen Ajani , Curtis Bright

Most of the web user's requirements are search or navigation time and getting correctly matched result. These constrains can be satisfied with some additional modules attached to the existing search engines and web servers. This paper…

Artificial Intelligence · Computer Science 2010-04-13 T. Krishna Kishore , T. Sasi Vardhan , N. Lakshmi Narayana

In this short paper we present a survey of some results concerning the random SAT problems. To elaborate, the Boolean Satisfiability (SAT) Problem refers to the problem of determining whether a given set of $m$ Boolean constraints over $n$…

Probability · Mathematics 2023-11-07 Andreas Basse-O'Connor , Tobias Lindhardt Overgaard , Mette Skjøtt

Boolean satisfiability ({\SAT}) has played a key role in diverse areas spanning testing, formal verification, planning, optimization, inferencing and the like. Apart from the classical problem of checking boolean satisfiability, the…

Logic in Computer Science · Computer Science 2014-04-29 Kuldeep S. Meel

Bloom filter (BF) has been widely used to support membership query, i.e., to judge whether a given element x is a member of a given set S or not. Recent years have seen a flourish design explosion of BF due to its characteristic of…

Data Structures and Algorithms · Computer Science 2019-01-08 Lailong Luo , Deke Guo , Richard T. B. Ma , Ori Rottenstreich , Xueshan Luo

The problem of P vs. NP is very serious, and solutions to the problem can help save lives. This article is an attempt at solving the problem using a computer algorithm. It is presented in a fashion that will hopefully allow for easy…

Data Structures and Algorithms · Computer Science 2015-03-19 Matt Groff

It has recently been argued that a Naive Bayesian classifier can be used to filter unsolicited bulk e-mail ("spam"). We conduct a thorough evaluation of this proposal on a corpus that we make publicly available, contributing towards…

Computation and Language · Computer Science 2009-09-25 Ion Androutsopoulos , John Koutsias , Konstantinos V. Chandrinos , George Paliouras , Constantine D. Spyropoulos

The Boolean satisfiability problem (SAT) holds a central place in computational complexity theory as the first shown NP-complete problem. Due to this role, SAT is often used as the benchmark for polynomial-time reductions: if a problem can…

Logic in Computer Science · Computer Science 2025-10-21 Yumiko Nishiyama

Majority-SAT is the problem of determining whether an input $n$-variable formula in conjunctive normal form (CNF) has at least $2^{n-1}$ satisfying assignments. Majority-SAT and related problems have been studied extensively in various AI…

Computational Complexity · Computer Science 2021-11-16 Shyan Akmal , Ryan Williams

The currently fastest algorithm for regular expression pattern matching and membership improves the classical O(nm) time algorithm by a factor of about log^{3/2}n. Instead of focussing on general patterns we analyse homogeneous patterns of…

Computational Complexity · Computer Science 2020-09-22 Philipp Schepper

Bloom filters are probabilistic data structures commonly used for approximate membership problems in many areas of Computer Science (networking, distributed systems, databases, etc.). With the increase in data size and distribution of data,…

Databases · Computer Science 2016-09-22 Adina Crainiceanu , Daniel Lemire

A major problem in evaluating stochastic local search algorithms for NP-complete problems is the need for a systematic generation of hard test instances having previously known properties of the optimal solutions. On the basis of…

Disordered Systems and Neural Networks · Physics 2009-11-07 W. Barthel , A. K. Hartmann , M. Leone , F. Ricci-Tersenghi , M. Weigt , R. Zecchina

Dynamic Bloom filters (DBF) were proposed by Guo et. al. in 2010 to tackle the situation where the size of the set to be stored compactly is not known in advance or can change during the course of the application. We propose a novel…

Data Structures and Algorithms · Computer Science 2019-01-23 Sidharth Negi , Ameya Dubey , Amitabha Bagchi , Manish Yadav , Nishant Yadav , Jeetu Raj