• 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 large-scale 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...
  • Cohn-Kanade

  • 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 branch-and-bound 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 Part-of-Speech Tagger. In Proceedings of the Joint SIGDAT Conference on Empirical ... Tagging with a Cyclic Dependency Network. In Proceedings of HLT-NAACL...
  • 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...