• AUSM

  • Referenced in 274 articles [sw06367]
  • limit of small Mach number. The resulting new scheme is shown to be simple ... accurate against analytical and experimental results. In summary, the new scheme, named AUSM+-up, improves...
  • SURF

  • Referenced in 171 articles [sw29761]
  • matching steps. The paper presents experimental results on a standard evaluation set, as well...
  • Traces

  • Referenced in 148 articles [sw07823]
  • named ”Traces”, is presented, together with experimental results and comparisons with existing software, such...
  • RCV1

  • Referenced in 115 articles [sw07279]
  • make available detailed, per-category experimental results, as well as corrected versions of the category...
  • PHAVer

  • Referenced in 113 articles [sw04123]
  • bits and constraints of polyhedra. Experimental results for a navigation benchmark and a tunnel diode...
  • Pastry

  • Referenced in 108 articles [sw11775]
  • arrival, departure and failure of nodes. Experimental results obtained with a prototype implementation...
  • SATzilla

  • Referenced in 86 articles [sw06281]
  • these new techniques in extensive experimental results on data sets including instances from the most...
  • HypE

  • Referenced in 72 articles [sw19794]
  • scenarios with few objectives. The experimental results indicate that HypE is highly effective for many...
  • SpaceEx

  • Referenced in 70 articles [sw10939]
  • hybrid systems, available at spaceex.imag.fr. Experimental results of full fixed-point computations with hybrid systems...
  • KPCA plus LDA

  • Referenced in 69 articles [sw08766]
  • CENPARMI handwritten numeral database. The experimental results show that CKFD outperforms other KFD algorithms...
  • FastSLAM

  • Referenced in 63 articles [sw13538]
  • beyond the reach of previous approaches. Experimental results demonstrate the advantages and limitations...
  • SimpleMKL

  • Referenced in 62 articles [sw12290]
  • class classification) or multiclass classification. Experimental results show that the proposed algorithm converges rapidly...
  • Nitpick

  • Referenced in 61 articles [sw00622]
  • hotel key card system. Our experimental results on Isabelle theories and the TPTP library indicate...
  • GloMoSim

  • Referenced in 60 articles [sw13764]
  • parallelization, and presents a set of experimental results on the IBM 9076 SP, a distributed...
  • MPTP 0.2

  • Referenced in 45 articles [sw02589]
  • Theorem Proving (MPTP) system and first experimental results obtained with it. The goal...
  • ATERM

  • Referenced in 43 articles [sw03160]
  • Library that builds upon these peculiarities. Experimental results on various programs validate our approach...
  • SimRank

  • Referenced in 41 articles [sw25278]
  • computation of SimRank scores, and provide experimental results on two application domains showing the computational...
  • POMDPS

  • Referenced in 37 articles [sw03055]
  • bound reduction, lower bound improvement). Our experimental results indicate that state-of-the-art online...
  • MAGIC

  • Referenced in 37 articles [sw14159]
  • using simulation instead of trace containment, experimental results using OpenSSL indicate that our approach...
  • PicToSeek

  • Referenced in 36 articles [sw14897]
  • world scenes. From the theoretical and experimental results it is concluded that object retrieval based...