• Chaff

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

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

  • Referenced in 269 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 229 articles [sw17324]
  • databases for sequence similarities. For protein comparisons, a variety of definitional, algorithmic and statistical refinements...
  • plfit

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

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

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

  • Referenced in 127 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...
  • 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...
  • CONOPT

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

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

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

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

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

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

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

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

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

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