• KAON

  • Referenced in 9 articles [sw02329]
  • KAON -- the Karlsruhe Ontology and Semantic Web Tool...
  • J-MEANS

  • Referenced in 74 articles [sw02649]
  • J-MEANS: A new local search heuristic for...
  • VAMPIRE

  • Referenced in 264 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • AKIRA

  • Referenced in 10 articles [sw02968]
  • (Artificial Knowledge Interface for Reasoning Applications) Artificial Intelligence...
  • CUDA

  • Referenced in 1336 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • SHOGUN

  • Referenced in 104 articles [sw03517]
  • The SHOGUN machine learning toolbox. We have developed...
  • Haskell

  • Referenced in 885 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • SeDuMi

  • Referenced in 1284 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • UCI-ml

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

  • Referenced in 401 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...
  • CODA

  • Referenced in 359 articles [sw04290]
  • R package coda: Output analysis and diagnostics for...
  • survival

  • Referenced in 201 articles [sw04364]
  • R package survival: Survival analysis, including penalised likelihood...
  • fda (R)

  • Referenced in 1571 articles [sw04511]
  • fda: Functional Data Analysis , These functions were developed...
  • YALMIP

  • Referenced in 1063 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • Mizar

  • Referenced in 506 articles [sw04704]
  • The Mizar System is the only implementation of...
  • Genocop

  • Referenced in 1103 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • svdpack

  • Referenced in 61 articles [sw04819]
  • SVDPACK comprises four numerical (iterative) methods for computing...
  • LIBSVM

  • Referenced in 1204 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...