• SIFT

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

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

  • Referenced in 268 articles [sw04076]
  • training large-scale transductive SVMs. The algorithm proceeds by solving a sequence of optimization problems...
  • BoomerAMG

  • Referenced in 201 articles [sw00086]
  • Rollin, H. Simon, S.-H. Teng (eds.), Proceedings of the Fifth International Symposium on Solving...
  • PASCAL VOC

  • Referenced in 150 articles [sw36507]
  • using the methods of Hoiem et al. (Proceedings of European Conference on Computer Vision...
  • Quaffle

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

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

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

  • Referenced in 61 articles [sw04974]
  • sequence begins with a neutral expression and proceeds to a peak expression. The peak expression...
  • LPbook

  • Referenced in 51 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 40 articles [sw04760]
  • advanced branch-and-bound scheme which proceeds by working on the search graph, a directed...
  • fhe

  • Referenced in 40 articles [sw23227]
  • Fully Homomorphic Encryption over the Integers”, Proceedings of Eurocrypt...
  • Stanford Tagger

  • Referenced in 25 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...
  • GC

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

  • Referenced in 31 articles [sw18325]
  • rest of the papers in the proceedings of this workshop provide examples of ongoing research...
  • polyquad

  • Referenced in 31 articles [sw35807]
  • methodology. Using polyquad v1.0 we proceed to derive a complete set of symmetric rules...
  • BIONJ

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

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