Term (logic)

Known as: Term (term rewriting), Variant, Linear term 
In analogy to natural language, where a noun phrase refers to an object and a whole sentence refers to a fact, in mathematical logic, a term denotes… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
The ν-Support Vector Regression (ν-SVR) is an effective regression learning algorithm, which has the advantage of using a… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
  • figure 2
Is this relevant?
Highly Cited
2012
Highly Cited
2012
—In this paper, we proposed an area-efficient carry select adder by sharing the common Boolean logic term. After logic… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
We propose a convex-concave programming approach for the labeled weighted graph matching problem. The convex-concave programming… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2009
Highly Cited
2009
The design and implementation of a class-J mode RF power amplifier is described. The experimental results indicate the class-J… (More)
  • figure 1
  • table II
  • table I
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This paper presents a fully automatic method for creating a 3D model from a single photograph. The model is made up of several… (More)
  • figure 2
  • table 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper describes a simple way of adapting the BM25 ranking formula to deal with structured documents. In the past it has been… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We investigate the incremental validation of XML documents with respect to DTDs, specialized DTDs, and XML Schemas, under updates… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1998
Highly Cited
1998
We consider issues of stability of time-discretization schemes with exacttreatment of thelinear part(ELP schemes) for solving… (More)
  • table II
  • table III
  • table IV
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This monograph presents a summary account of the subject of a posteriori error estimation for finite element approximations of… (More)
Is this relevant?
Highly Cited
1951
Highly Cited
1951
  • Julian D. Cole
  • 1951
where u — u(x, t) in some domain and v is a parameter. The occurrence of the first derivative in t and the second in x clearly… (More)
Is this relevant?