Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,294 papers from all fields of science
Search
Sign In
Create Free Account
Predicate (mathematical logic)
Known as:
Predicate (mathematics)
, Boolean predicates
, Predicate
Expand
In mathematics, a predicate is commonly understood to be a Boolean-valued function P: X→ {true, false}, called the predicate on X. However…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
48 relations
All-pairs testing
Artificial intelligence
Assertion (software development)
Autoepistemic logic
Expand
Broader (2)
Fuzzy logic
Propositional calculus
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Meaningful spatial prediction and aggregation
C. Stasch
,
S. Scheider
,
E. Pebesma
,
W. Kuhn
Environmental Modelling & Software
2014
Corpus ID: 17758238
2013
2013
PoMMaDe: pushdown model-checking for malware detection
Fu Song
,
Tayssir Touili
ESEC/FSE
2013
Corpus ID: 7578466
We present PoMMaDe, a Pushd own Model-checking based M alware D etector. In PoMMaDe, a binary program is modeled as a pushdown…
Expand
Highly Cited
2010
Highly Cited
2010
Entity resolution with evolving rules
Steven Euijong Whang
,
H. Garcia-Molina
Proceedings of the VLDB Endowment
2010
Corpus ID: 14200597
Entity resolution (ER) identifies database records that refer to the same real world entity. In practice, ER is not a one-time…
Expand
Highly Cited
2010
Highly Cited
2010
QoS Aware Semantic Web Service Composition Approach Considering Pre/Postconditions
Peter Bartalos
,
M. Bieliková
IEEE International Conference on Web Services
2010
Corpus ID: 14178973
Web service composition is a topic bringing several issues to be resolved. Our work deals with the effectiveness and scalability…
Expand
Highly Cited
2007
Highly Cited
2007
Introducing Control Flow into Vectorized Code
Jaewook Shin
International Conference on Parallel…
2007
Corpus ID: 11658177
Single instruction multiple data (SIMD) functional units are ubiquitous in modern microprocessors. Effective use of these SIMD…
Expand
2000
2000
A dynamic model of part-of-speech differentiation
J. Anward
2000
Corpus ID: 142056573
This text approaches word classes and their categorial manifestations from the perspective of typology and language universals…
Expand
Highly Cited
1998
Highly Cited
1998
Predicate Dispatching: A Unified Theory of Dispatch
Michael D. Ernst
,
Craig S. Kaplan
,
C. Chambers
European Conference on Object-Oriented…
1998
Corpus ID: 14221072
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method…
Expand
Highly Cited
1997
Highly Cited
1997
Horizontal Class Partitioning in Object-Oriented Databases
Ladjel Bellatreche
,
K. Karlapalem
,
A. Simonet
International Conference on Database and Expert…
1997
Corpus ID: 18176310
The Horizontal Fragmentation (HF) is a process for reducing the number of disk access to execute a query by reducing the number…
Expand
1984
1984
Towards multi-level and modular conceptual schema specifications
Ulrich Schiel
,
A. Furtado
,
E. Neuhold
,
M. Casanova
Information Systems
1984
Corpus ID: 16537233
Highly Cited
1978
Highly Cited
1978
An evaluation of the effectiveness of symbolic testing
W. Howden
Software, Practice & Experience
1978
Corpus ID: 14930958
The effectiveness in discovering errors of symbolic evaluation and of testing sad static program analysis are studied. The three…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE