• Chaff

  • Referenced in 567 articles [sw06916]
  • performance improvement on difficult SAT benchmarks in comparison with other solvers (DP or otherwise), including...
  • TPTP

  • Referenced in 376 articles [sw04143]
  • necessary for meaningful system evaluations, meaningful system comparisons, repeatability of testing, and the production...
  • ANFIS

  • Referenced in 266 articles [sw08730]
  • chaotic time series, all yielding remarkable results. Comparisons with artificial neural networks and earlier work...
  • FERET

  • Referenced in 231 articles [sw13782]
  • designed to: (1) allow a direct comparison between different algorithms, (2) identify the most promising...
  • PSI-BLAST

  • Referenced in 226 articles [sw17324]
  • databases for sequence similarities. For protein comparisons, a variety of definitional, algorithmic and statistical refinements...
  • plfit

  • Referenced in 222 articles [sw23186]
  • tests on synthetic data and give critical comparisons to previous approaches. We also apply...
  • VODE

  • Referenced in 193 articles [sw01005]
  • their performance. The paper ends with some comparison tests with EPISODE using...
  • SMT-LIB

  • Referenced in 182 articles [sw04103]
  • would greatly facilitate the evaluation and the comparison of SMT systems, and advance the state...
  • VisualUTA

  • Referenced in 106 articles [sw16231]
  • decision maker is a set of pairwise comparisons on a subset of alternatives ... progressive statement of pairwise comparisons. When no preference information is provided, the necessary weak preference ... complete relation. Every new pairwise comparison of reference alternatives is enriching the necessary relation...
  • lobpcg.m

  • Referenced in 120 articles [sw24008]
  • iteration, and memory requirements. We provide such comparison for our LOBPCG method. Numerical results establish ... LOBPCG method. Finally, direct numerical comparisons with the Jacobi-Davidson method show that our method...
  • CONOPT

  • Referenced in 162 articles [sw02791]
  • last 8 years. A verbal and intuitive comparison of the GRG algorithm with the popular...
  • TetGen

  • Referenced in 151 articles [sw04046]
  • mesh generation. Experimental examples as well as comparisons with other softwares are presented...
  • Quicksort

  • Referenced in 144 articles [sw20694]
  • uses Ω(n log n) comparisons even for sorted inputs. However, in this paper...
  • Traces

  • Referenced in 133 articles [sw07823]
  • presented, together with experimental results and comparisons with existing software, such as McKay’s ”nauty...
  • MAXFLOW

  • Referenced in 124 articles [sw13223]
  • maxflow algorithm described in ”An Experimental Comparison of Min-Cut/Max-Flow Algorithms for Energy Minimization...
  • Yale Face

  • Referenced in 121 articles [sw08767]
  • surprised, and wink. Related Projects: Doppelgänger List Comparison, Face Recognition...
  • PhysioToolkit

  • Referenced in 119 articles [sw15476]
  • physiologic and other signals, quantitative evaluation and comparison of analysis methods, and analysis of nonequilibrium...
  • RKC

  • Referenced in 108 articles [sw00808]
  • efficient time-step. Various computational results and comparisons with other methods are provided...
  • CG_DESCENT

  • Referenced in 105 articles [sw04813]
  • algorithm; extensive numerical tests and comparisons with other methods for large-scale unconstrained optimization...
  • KEEL

  • Referenced in 102 articles [sw06791]
  • complete analysis of any learning model in comparison to existing software tools. Moreover, KEEL...