- 업종: Technology
- Number of terms: 2742
- Number of blossaries: 0
- Company Profile:
The National Institute of Standards and Technology (NIST) — known between 1901 and 1988 as the National Bureau of Standards (NBS) — is a measurement standards laboratory and a non-regulatory agency of the United States Department of Commerce. The institute's official mission is to promote U.S. ...
A logic with a notion of time included. The formulas can express facts about past, present, and future states. The formulas are interpreted over Kripke structures, which can model computation; hence temporal logic is very useful in formal verification.
Industry:Computer science
A mapping from a discrete k-dimensional space into a linear order.
Industry:Computer science
A match (i,j) having rank k and such that for any other pair (i',j') of rank k either i'>i and j'≤ j or i' ≤ i and j'>j.
Industry:Computer science
A matrix that has relatively few non-zero (or "interesting") entries. It may be represented in much less than n × m space.
Industry:Computer science
A matrix that is only defined at (i,j) when i < j.
Industry:Computer science
A matrix that is only defined at (i,j) when i > j.
Industry:Computer science
