• Chaff

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

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

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

  • Referenced in 269 articles [sw23186]
  • tests on synthetic data and give critical comparisons to previous approaches. We also apply...
  • PSI-BLAST

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

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

  • Referenced in 207 articles [sw01005]
  • their performance. The paper ends with some comparison tests with EPISODE using...
  • lobpcg.m

  • Referenced in 146 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...
  • SMT-LIB

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

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

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

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

  • Referenced in 111 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 170 articles [sw02791]
  • last 8 years. A verbal and intuitive comparison of the GRG algorithm with the popular...
  • KEEL

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

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

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

  • Referenced in 134 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...
  • RKC

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