Invariant (computer science)

Known as: Invariant, Programming invariant 
In computer science, an invariant is a condition that can be relied upon to be true during execution of a program, or during some portion of it. It… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Image representations, from SIFT and Bag of Visual Words to Convolutional Neural Networks (CNNs), are a crucial component of… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Daikon is an implementation of dynamic detection of likely invariants; that is, the Daikon invariant detector reports likely… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Model checking has been widely successful in validating and debugging designs in the hardware and protocol domains. However… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We aim at combining color and shape invariants for indexing and retrieving images. To this end, color models are proposed… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1998
Highly Cited
1998
A digital watermark is an invisible mark embedded in a digital image which may be used for a number of different purposes… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This paper addresses the problem of retrieving images from large image databases. The method is based on local grayvalue… (More)
  • figure I
Is this relevant?
Highly Cited
1996
Highly Cited
1996
The phenomenal growth in popularity of the World Wide Web (WWW, or the Web) has made WWW traffic the largest contributor to… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
The theory of knot invariants of finite type (Vassiliev invariants) is described. These invariants turn out to be at least as… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1993
Highly Cited
1993
-The paper deals with moment invariants, which are invariant under general affine transformation and may be used for recognition… (More)
  • table 3
  • table 2
  • figure 3
  • figure 4
  • table 5
Is this relevant?
Highly Cited
1991
Highly Cited
1991
-Moment invariants have been proposed as pattern sensitive features in classification and recognition applications. In this paper… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?