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

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

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

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

PASCAL VOC
 Referenced in 124 articles
[sw36507]
 using the methods of Hoiem et al. (Proceedings of European Conference on Computer Vision...

Quaffle
 Referenced in 64 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 73 articles
[sw04279]
 generator of the generic symmetry). It proceeds to solve these equations, reporting any special conditions...

DIFFALG
 Referenced in 62 articles
[sw08613]
 algorithm presented in Boulier et al, Proceedings of ISSAC95. A complete description can be found...

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

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

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

NLPQLP
 Referenced in 40 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...

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

Stanford Tagger
 Referenced in 23 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...

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

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

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 29 articles
[sw24970]
 method with reduced phase errors. We proceed with numerical tests using quadruple precision arithmetic...