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

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

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

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

Quaffle
 Referenced in 59 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 48 articles
[sw07705]
 primitive recursive functions for specification. Verification proceeds by symbolic execution using an abstract representation...

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

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

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

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

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

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

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

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 21 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...

CoALP
 Referenced in 17 articles
[sw16105]
 coalgebra to characterize naturally arising trees and proceeding towards implementation of a new dialect, CoALP...