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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1979-2018
024619792018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Predicate logic is a sub-discipline of logic that had its roots in the last quarter of the nineteenth century, though it had to… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Statistical debugging uses dynamic instrumentation and machine learning to identify predicates on program state that are strongly… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2005
2005
Tracking multiple agents in a monocular visual surveillance system is often challenged by the phenomenon of occlusions. Agents… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2004
2004
ing and generalizing, the schema for the type they propose for relational adjectives is that represented in (25), where the… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Predicate abstraction has emerged to be a powerful technique for extracting finite-state models from infinitestate discrete… (More)
Is this relevant?
2000
2000
In this paper we propose a new method for deriving a practical linear-time algorithm from the specification of a maximum… (More)
Is this relevant?
1998
1998
Existing approaches to debugging distributed systems involve a cycle of passive observation followed by computation replaying. We… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1998
1998
Symbolic mode, checking has proved highly successful for large finite-state systems, in which states can be compactly encoded… (More)
Is this relevant?
1996
1996
To fully utilize the wide machine resources in modern high-performance microprocessors it is necessary to exploit parallelism… (More)
  • figure 1
  • table 1
  • figure 3
  • figure 4
  • figure 7
Is this relevant?