Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
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… Expand
  • figure 3
  • table 1
  • figure 4
  • table 2
  • figure 5
Is this relevant?
Highly Cited
2017
Highly Cited
2017
A capsule is a group of neurons whose activity vector represents the instantiation parameters of a specific type of entity such… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Review
2016
Review
2016
There have been intensive research efforts in the last two decades or so to design and deploy electronic voting (e-voting… Expand
  • figure 1
  • figure 4
  • table I
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Mobile applications are becoming increasingly ubiquitous and provide ever richer functionality on mobile devices. At the same… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Design work and design knowledge in Information Systems (IS) is important for both research and practice. Yet there has been… Expand
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis… Expand
  • figure 3
  • figure 6
  • table 1
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… Expand
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
Highly Cited
1994
Highly Cited
1994
This paper concerns how motor actions are neurally represented and coded. Action planning and motor preparation can be studied… Expand
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Experience from a dozen years of analyzing software engineering processes and products is summarized as a set of software… Expand
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?