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

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
Based on a rigorous analysis of existing workflow management systems and workflow languages, a new workflow language is proposed… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Abstract The wide-baseline stereo problem, i.e. the problem of establishing correspondences between a pair of images taken from… Expand
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Simulating how the global Internet behaves is an immensely challenging undertaking because of the network's great heterogeneity… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Explicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying… Expand
  • figure 2
  • figure 3
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Abstract A digital watermark is an invisible mark embedded in a digital image which may be used for a number of different… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
1987
Highly Cited
1987
  • D. Lowe
  • Artif. Intell.
  • 1987
  • Corpus ID: 678619
Abstract A computer vision system has been implemented that can recognize three-dimensional objects from unknown viewpoints in… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1977
Highly Cited
1977
Two kinds of abstraction that are fundamentally important in database design and usage are defined. Aggregation is an abstraction… Expand
  • table I
  • figure 1
  • figure 2
  • figure 3
  • table II
Is this relevant?
Highly Cited
1940
Highly Cited
1940
In this renowned volume, Hermann Weyl discusses the symmetric, full linear, orthogonal, and symplectic groups and determines… Expand
Is this relevant?