• Graphplan

  • Referenced in 186 articles [sw07746]
  • empirical evidence in favor of this approach, showing that Graphplan outperforms the total-order planner ... artificial planning problems. We also give empirical evidence that the plans produced by Graphplan...
  • MADMX

  • Referenced in 6 articles [sw35273]
  • from don’t care) characters to the total length of the motif. By extracting only ... generation of nonmaximal ones. We provide experimental evidence of the efficiency and the quality...
  • NRejections

  • Referenced in 1 article [sw37422]
  • VanderWeele (in preparation) to characterize global evidence strength across W correlated ordinary least squares ... estimate a null interval for the total number of rejections in, for example...
  • SLEDGE

  • Referenced in 1 article [sw08379]
  • edge’s photometric and geometric properties, and evidence of its perceptual grouping with already identified ... next iteration, such that the total loss is minimized. For extracting image edges that...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Loki

  • Referenced in 19 articles [sw00524]
  • Loki: software for computing cut loci The paper...
  • Magma

  • Referenced in 3315 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • RelView

  • Referenced in 102 articles [sw00798]
  • The RelView-System is an interactive tool for...
  • Thaw

  • Referenced in 14 articles [sw01150]
  • The cut locus from a point on the...
  • DYNAMO

  • Referenced in 261 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • CP-nets

  • Referenced in 138 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool...
  • S-PLUS

  • Referenced in 615 articles [sw02892]
  • S-PLUS is a powerful environment for statistical...
  • UCI-ml

  • Referenced in 3403 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • SVMlight

  • Referenced in 264 articles [sw04076]
  • Description (homepage): SVMlight is an implementation of Vapnik...
  • CPLEX

  • Referenced in 2773 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Bioconductor

  • Referenced in 319 articles [sw04205]
  • Bioconductor provides tools for the analysis and comprehension...
  • WinBUGS

  • Referenced in 771 articles [sw04492]
  • WinBUGS is part of the BUGS project, which...