Skip to search formSkip to main contentSkip to account menu

Predicate (mathematical logic)

Known as: Predicate (mathematics), Boolean predicates, Predicate 
In mathematics, a predicate is commonly understood to be a Boolean-valued function P: X→ {true, false}, called the predicate on X. However… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
We present PoMMaDe, a Pushd own Model-checking based M alware D etector. In PoMMaDe, a binary program is modeled as a pushdown… 
Highly Cited
2010
Highly Cited
2010
Entity resolution (ER) identifies database records that refer to the same real world entity. In practice, ER is not a one-time… 
Highly Cited
2010
Highly Cited
2010
Web service composition is a topic bringing several issues to be resolved. Our work deals with the effectiveness and scalability… 
Highly Cited
2007
Highly Cited
2007
Single instruction multiple data (SIMD) functional units are ubiquitous in modern microprocessors. Effective use of these SIMD… 
2000
2000
This text approaches word classes and their categorial manifestations from the perspective of typology and language universals… 
Highly Cited
1998
Highly Cited
1998
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method… 
Highly Cited
1997
Highly Cited
1997
The Horizontal Fragmentation (HF) is a process for reducing the number of disk access to execute a query by reducing the number… 
Highly Cited
1978
Highly Cited
1978
The effectiveness in discovering errors of symbolic evaluation and of testing sad static program analysis are studied. The three…