
SIFT
 Referenced in 591 articles
[sw16554]
 these features for object recognition. The recognition proceeds by matching individual features to a database...

QEPCAD
 Referenced in 273 articles
[sw00752]
 development of the original that may proceed in a different direction. QEPCAD and the SACLIB...

SVMlight
 Referenced in 259 articles
[sw04076]
 training largescale transductive SVMs. The algorithm proceeds by solving a sequence of optimization problems...

BoomerAMG
 Referenced in 144 articles
[sw00086]
 Rollin, H. Simon, S.H. Teng (eds.), Proceedings of the Fifth International Symposium on Solving...

Quaffle
 Referenced in 62 articles
[sw07278]
 Satisfaction in Quantified Boolean Satisfiability Solver”, Proceedings of 8th International Conference on Principles and Practice ... Learning in a Quantified Boolean Satisfiability Solver”, Proceedings of International Conference on Computer Aided Design...

DIMSYM
 Referenced in 72 articles
[sw04279]
 generator of the generic symmetry). It proceeds to solve these equations, reporting any special conditions...

CohnKanade
 Referenced in 55 articles
[sw04974]
 sequence begins with a neutral expression and proceeds to a peak expression. The peak expression...

VeriFast
 Referenced in 55 articles
[sw07705]
 primitive recursive functions for specification. Verification proceeds by symbolic execution using an abstract representation...

LPbook
 Referenced in 48 articles
[sw31782]
 substantial treatment of linear programming, and proceeding to convex analysis, network flows, integer programming, quadratic...

NLPQLP
 Referenced in 38 articles
[sw04073]
 sequential quadratic programming (SQP) method. Proceeding from a quadratic approximation of the Lagrangian function...

COCONUT
 Referenced in 38 articles
[sw04760]
 advanced branchandbound scheme which proceeds by working on the search graph, a directed...

GC
 Referenced in 30 articles
[sw09418]
 collection resources such as software and conference proceedings...

fhe
 Referenced in 30 articles
[sw23227]
 Fully Homomorphic Encryption over the Integers”, Proceedings of Eurocrypt...

Stanford Tagger
 Referenced in 21 articles
[sw07978]
 Maximum Entropy PartofSpeech Tagger. In Proceedings of the Joint SIGDAT Conference on Empirical ... Tagging with a Cyclic Dependency Network. In Proceedings of HLTNAACL...

BIONJ
 Referenced in 29 articles
[sw08301]
 become better and better as the algorithm proceeds. BIONJ retains the good properties...

DDDAS
 Referenced in 29 articles
[sw18325]
 rest of the papers in the proceedings of this workshop provide examples of ongoing research...

numerov
 Referenced in 27 articles
[sw24970]
 method with reduced phase errors. We proceed with numerical tests using quadruple precision arithmetic...

Snap
 Referenced in 26 articles
[sw20131]
 also Neumann and Reid in Topology ’90, Proceedings of the Research Semester in Low Dimensional...

NEW9p
 Referenced in 25 articles
[sw24971]
 method with reduced phase errors. We proceed with numerical tests using quadruple precision arithmetic...

MPTP
 Referenced in 23 articles
[sw02489]
 integral bodies of formalized mathematics. Then we proceed to describe the implementation of the MPTP...