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

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

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

BoomerAMG
 Referenced in 136 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...

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

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

LPbook
 Referenced in 46 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...

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

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

Stanford Tagger
 Referenced in 20 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 28 articles
[sw08301]
 become better and better as the algorithm proceeds. BIONJ retains the good properties...

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

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

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

GFORCE
 Referenced in 20 articles
[sw06607]
 paper are distinctly more accurate. Finally, we proceed to the practical implementation of our numerical...

LEX
 Referenced in 19 articles
[sw19585]
 Design of a Stream Cipher LEX, Proceedings of Selected Areas in Cryptography, 2006 Springer...