Universal instantiation

Known as: Instance (predicate logic), Instantiation, Instantiation of universals 
In predicate logic universal instantiation (UI, also called universal specification or universal elimination, and sometimes confused with Dictum de… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
The highest accuracy object detectors to date are based on a two-stage approach popularized by R-CNN, where a classifier is… (More)
  • figure 3
  • table 1
  • figure 4
  • table 2
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Quantifier reasoning in Satisfiability Modulo Theories (SMT) is a long-standing challenge. The practical method employed in… (More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
The most basic assumption used in statistical learning theory is that training data and test data are drawn from the same… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 2
  • figure 4
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Case handling is a new paradigm for supporting flexible and knowledge intensive business processes. It is strongly based on data… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We investigate how random projection can best be used for clustering high dimensional data. Random projection has been shown to… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We present a probabilistic model to monitor a user's emotions and engagement during the interaction with educational games. We… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2001
Highly Cited
2001
ÐThis paper considers the problem of illuminant estimation: how, given an image of a scene, recorded under an unknown light, we… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
As software systems become more complex, the overall system structure—or software architecture—becomes a central design problem… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
The metaDESK is a user interface platform demonstrating new interaction techniques we call “tangible user interfaces.” We explore… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1986
Highly Cited
1986
In many contexts, humans often represent their own “neighborhood” in great detail, yet only major landmarks further away. This… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 8
Is this relevant?