
PCASIFT
 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 twosided 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 associativecommutative unification and matching, a variety of strategies for equational reasoning ... latticelike 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 modiﬁcation 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 integralmatching 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 kpartite 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 stateoftheart 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...