• PCA-SIFT

  • Referenced in 81 articles [sw04592]
  • More Distinctive Representation for Local Image Descriptors Stable local feature detection and representation ... application results in increased accuracy and faster matching...
  • Stable Matching

  • Referenced in 1 article [sw28646]
  • Stable Matching. We mechanize proofs of several results from the matching with contracts literature, which ... classical two-sided matching scenarios that go by the name of stable marriage. Our focus ... develop executable algorithms for computing optimal stable matches...
  • matchingMarkets

  • Referenced in 0 articles [sw16510]
  • package also contains algorithms to find stable matchings in the three most common matching problems...
  • EQP

  • Referenced in 12 articles [sw15620]
  • good implementations of associative-commutative unification and matching, a variety of strategies for equational reasoning ... lattice-like structures. EQP is not as stable and polished as our main production theorem...
  • HSL MC80

  • Referenced in 1 article [sw28019]
  • combined with the scaling of A, the matching ordering can often be used ... solver without modification to compute a numerically stable factorization...
  • KAZE Features

  • Referenced in 10 articles [sw30439]
  • Additive Operator Splitting (AOS) schemes, which are stable for any step size and are parallelizable ... repeatability and distinctiviness, for common 2D image matching applications...
  • simode

  • Referenced in 2 articles [sw25275]
  • several minimization procedures of an integral-matching criterion function, taking advantage of the mathematical structure ... shown to yield more accurate and stable results comparing to derivative based ones. Linear features...
  • HotKnots

  • Referenced in 5 articles [sw17267]
  • simple idea of iteratively forming stable stems, our algorithm explores many alternative secondary structures, using ... also outperforms the heuristic Iterated Loop Matching algorithm of Ruan and colleagues, and in many...
  • ThIEF

  • Referenced in 1 article [sw33129]
  • while ThIEF:LP solves a k-partite matching problem on a hyper graph using linear ... that can accurately predict the position of stable nucleosomes (i.e., nucleosomes present in all time...
  • KAZE

  • Referenced in 0 articles [sw30271]
  • random sample consensus algorithm for exact match and calculating the geometric transform model. Finally ... well as processing speed. It is a stable, accurate and stitching algorithm...
  • FastGRNN

  • Referenced in 1 article [sw40550]
  • FastGRNN: A Fast, Accurate, Stable and Tiny Kilobyte Sized Gated Recurrent Neural Network. This paper ... gate by reusing the RNN matrices to match state-of-the-art gated RNN accuracies...
  • ALBERT

  • Referenced in 82 articles [sw00025]
  • ALBERT - Software for scientific computations and applications. Adaptive...
  • CGAL

  • Referenced in 384 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • CSDP

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • GAP

  • Referenced in 3154 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Gmsh

  • Referenced in 720 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • HSL

  • Referenced in 279 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • ISOGAT

  • Referenced in 310 articles [sw00457]
  • A tutorial 2D MATLAB code for solving elliptic...