• Bebop

  • Referenced in 74 articles [sw08928]
  • present the design, implementation and empirical evaluation of Bebop—a symbolic model checker for boolean...
  • ProB

  • Referenced in 63 articles [sw07084]
  • implementation. We also present empirical evaluations as well as several case studies, highlighting that ProB...
  • KORBX

  • Referenced in 55 articles [sw04341]
  • dual, and power series algorithms were empirically evaluated on a set of linear programming application...
  • YAGO

  • Referenced in 51 articles [sw11909]
  • than an order of magnitude. Our empirical evaluation of fact correctness shows an accuracy...
  • Outex

  • Referenced in 31 articles [sw13781]
  • Outex - new framework for empirical evaluation of texture analysis algorithms. This paper presents the current ... versatile framework and image database for empirical evaluation of texture analysis algorithms. The proposed Outex...
  • MiniMaxSat

  • Referenced in 34 articles [sw09732]
  • watched literals scheme. Our empirical evaluation on a wide set of optimization benchmarks indicates that...
  • PGSolver

  • Referenced in 28 articles [sw14051]
  • simpler methods. This approach is evaluated empirically on a series of benchmarking games from...
  • AdaCost

  • Referenced in 26 articles [sw33192]
  • misclassification cost of the training set. Empirical evaluations have shown significant reduction in the cumulative...
  • plfit

  • Referenced in 231 articles [sw23186]
  • discerning and quantifying power-law behavior in empirical data. Our approach combines maximum-likelihood fitting ... Smirnov (KS) statistic and likelihood ratios. We evaluate the effectiveness of the approach with tests...
  • SAPA

  • Referenced in 16 articles [sw20683]
  • extracting the heuristics and present an empirical evaluation of the current implementation of SAPA...
  • MUP

  • Referenced in 15 articles [sw11910]
  • formula. We provide an empirical evaluation of the algorithm, highlighting its efficiency...
  • ArnetMiner

  • Referenced in 15 articles [sw35619]
  • system. We also present the empirical evaluation of the proposed methods...
  • Spacer

  • Referenced in 11 articles [sw19496]
  • Based Projection to under-approximate QE. Empirical evaluation on SV-COMP benchmarks shows that...
  • STMBench7

  • Referenced in 9 articles [sw08814]
  • runtime overheads are acceptable. To date, empiric evaluations of these implementations have suffered from...
  • versat

  • Referenced in 9 articles [sw08417]
  • answers. We also show through an empirical evaluation that versat can solve SAT problems...
  • AAFFT

  • Referenced in 4 articles [sw25344]
  • implemented by Mark Iwen, which was empirically evaluated in ”Empirical Evaluation of a Sub-Linear ... your paper, please cite the empirical evaluation above...
  • PowerGraph

  • Referenced in 6 articles [sw17478]
  • provide a detailed analysis and experimental evaluation comparing PowerGraph to two popular graph-parallel systems ... discuss their relative merits with empirical evaluations on large-scale real-world problems demonstrating order...
  • PAMR

  • Referenced in 10 articles [sw15437]
  • conduct extensive numerical experiments to evaluate the empirical performance of the proposed algorithms on various...
  • BOXES

  • Referenced in 6 articles [sw21178]
  • size of the operands. Empirical evaluation indicates that the performance of Boxes is superior...
  • PREGO

  • Referenced in 5 articles [sw16793]
  • efficient using a number of empirical evaluations. We believe that prego is a powerful framework...