Model-checking may refer to
 |
This disambiguation page lists articles associated with the same title. If an internal link led you here, you may wish to change the link to point directly to the intended article. |
Wikimedia Foundation. 2010.
Calculus (disambiguation) — Calculus is Latin for pebble, and has a number of meanings in English: In mathematics and computer science Calculus , in its most general sense, is any method or system of calculation. To modern theoreticians the answer to the question what is a… … Wikipedia
List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A … Wikipedia
Deadlock — This article is about the computer science concept. For other uses, see Deadlock (disambiguation). A deadlock is a situation where in two or more competing actions are each waiting for the other to finish, and thus neither ever does. It is often… … Wikipedia
PAT — may refer to: Contents 1 Organizations 2 Science and technology 3 Medicine and biology … Wikipedia
Mode (computer interface) — This article is about a transient state in user interfaces. For modes in videogames, see Game mode. For other uses, see Mode (disambiguation). Not to be confused with Multimodal interaction or Modality (human computer interaction). In user… … Wikipedia
Bloom filter — The Bloom filter, conceived by Burton H. Bloom in 1970, is a space efficient probabilistic data structure that is used to test whether an element is a member of a set. False positives are possible, but false negatives are not. Elements can be… … Wikipedia
List of statistics topics — Please add any Wikipedia articles related to statistics that are not already on this list.The Related changes link in the margin of this page (below search) leads to a list of the most recent changes to the articles listed below. To see the most… … Wikipedia
Scale-invariant feature transform — Feature detection Output of a typical corner detection algorithm … Wikipedia
Wikipedia:Manual of Style/Linking — For technical information about link formatting, see Help:Link. For information on adding external links to articles, see Wikipedia:External links. Wikilinks redirects here. For the IRC script, see WP:Scripts/Wikilinks. This guideline is a part… … Wikipedia
Bank — For other uses, see Bank (disambiguation). Banker and Bankers redirect here. For other uses, see Banker (disambiguation). Banking … Wikipedia
