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

Topic mentions per year

Topic mentions per year

1937-2018
020040019372017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
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
2004
Highly Cited
2004
We present a novel method for generic visual categorization: the problem of identifying the object content of natural images… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This extended abstract outlines a system for the modular verification of an object-oriented programming language. While… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 6
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The goal of the SLAM project is to check whether or not a program obeys "API usage rules" that specify what it means to be a good… (More)
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
The main problem in differentiator design is to combine differentiation exactness with robustness in respect to possible… (More)
  • figure 1
  • figure 2
  • figure 3
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)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
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
1987
Highly Cited
1987
A computer vision system has been implemented that can recognize threedimensional objects from unknown viewpoints in single gray… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?