Substitution

Known as: Ground instance, Substitution instance 
Substitution is a fundamental concept in logic.A substitution is a syntactic transformation on formal expressions.To apply a substitution to an… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1940-2017
05001000150019402016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We introduce the notion of query substitution, that is, generating a new query to replace a user's original search query. Our… (More)
  • table 1
  • figure 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This study deals with the dynamic sales behavior of successive generations of high-technology products. New technologies diffuse… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2004
Highly Cited
2004
In this paper, a data hiding scheme by simple LSB substitution is proposed. By applying an optimal pixel adjustment process to… (More)
  • table 1
  • figure 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
Highly Cited
2003
Highly Cited
2003
A standard problem in operations literature is optimal stocking of substitutable products. We consider a very general consumer… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
  • Fatih Guvenen
  • 2002
This paper attempts to reconcile two opposing views about the elasticity of intertemporal substitution in consumption (EIS), a… (More)
  • table 1
  • table 2
  • table 3
  • figure 1
  • table 4
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Motivation Retailer Sample path with T sequential customers Customer t with preferences U t =(U t 0 , U t 1 ,…, U t n) Category… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
In this paper, we develop a novel method to embed important data in the host image so that the interceptors will not notice about… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
1998
Highly Cited
1998
SUMMARY The program MODELTEST uses log likelihood scores to establish the model of DNA evolution that best fits the data… (More)
  • figure 1
Is this relevant?
Highly Cited
1997
Highly Cited
1997
MOTIVATION To improve the estimation of evolutionary distances between nucleotide sequences by considering the differences in… (More)
  • figure 1
  • figure 2
Is this relevant?