• 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...