• OEIS

  • Referenced in 3387 articles [sw07248]
  • file of medical records is in the correct order. (Perhaps you are a computer scientist...
  • Isabelle/HOL

  • Referenced in 945 articles [sw01569]
  • particular formal verification, which includes proving the correctness of computer hardware or software and proving...
  • Isabelle

  • Referenced in 606 articles [sw00454]
  • particular formal verification, which includes proving the correctness of computer hardware or software and proving...
  • SIFT

  • Referenced in 605 articles [sw16554]
  • sense that a single feature can be correctly matched with high probability against a large...
  • Kronos

  • Referenced in 261 articles [sw01270]
  • difficult to design and analyze, but whose correct behavior must be ensured because failures ... able to formally prove their correctness with respect to the desired requirements. In KRONOS, components ... modeled by timed automata and the correctness requirements are expressed in the real-time temporal...
  • TETRAD

  • Referenced in 386 articles [sw12177]
  • guaranteed to converge almost certainly to correct information about the true structure in the large...
  • SHASTA

  • Referenced in 224 articles [sw18281]
  • Flux-corrected transport. I. SHASTA, a fluid transport algorithm that works. This paper describes ... built around a technique called “flux correction.” These flux-corrected transport algorithms are of indeterminate...
  • Wesseling

  • Referenced in 314 articles [sw09677]
  • smoothing methods, and nested iteration, and defect correction. Cell centered and vertex centered discretization...
  • DDE-BIFTOOL

  • Referenced in 304 articles [sw02396]
  • solutions is achieved through computing approximations and corrections to the rightmost characteristic roots. Periodic solutions...
  • MPFR

  • Referenced in 208 articles [sw03312]
  • multiple-precision floating-point computations with correct rounding. MPFR has continuously been supported...
  • NQTHM

  • Referenced in 149 articles [sw07543]
  • described completely in their “Metafunctions: proving them correct and using them efficiently as new proof ... procedures” [in “The correctness problem in computer science” (1981; Zbl 0476.68009)] and “The addition...
  • UNITY

  • Referenced in 184 articles [sw13461]
  • provides a means to independently verify the correctness of the transition systems: one can specify...
  • RCV1

  • Referenced in 109 articles [sw07279]
  • hierarchical category taxonomies, and the corrections necessary to remove errorful data. We refer ... original data as RCV1-v1, and the corrected data as RCV1-v2. We benchmark several ... category experimental results, as well as corrected versions of the category assignments and taxonomy structures...
  • AXIOM

  • Referenced in 170 articles [sw00063]
  • algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language...
  • ETPS

  • Referenced in 153 articles [sw06302]
  • gives them immediate feedback for both correct and incorrect actions. ETPS permits students to work...
  • SLAM

  • Referenced in 151 articles [sw03136]
  • interfaces and software that ensure reliable and correct functioning. Static Driver Verifier is a tool...
  • TetGen

  • Referenced in 151 articles [sw04046]
  • based algorithms which have theoretical guarantee of correctness. It can robustly handle arbitrary complex...
  • SLIC

  • Referenced in 139 articles [sw18282]
  • relatively easy to advance the fluid surfaces correctly in time. With the SLIC fluid-surface...
  • SIMPLIFY

  • Referenced in 137 articles [sw04976]
  • such as testing. Since the cost of correcting an error is reduced...
  • CP-nets

  • Referenced in 133 articles [sw01374]
  • analysis is carried out to prove its correctness...