Results 21 to 40 of 186
Sort by:

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