Results 21 to 40 of 97
Sort by:

  • UCI-ml
  • Referenced in 3379 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...

  • CRAN
  • Referenced in 549 articles [sw04351]
  • R is ‘GNU S’, a freely available language...

  • Qhull
  • Referenced in 320 articles [sw04419]
  • The convex hull of a point set P...

  • Yices
  • Referenced in 154 articles [sw04436]
  • Yices is an efficient SMT solver that decides...

  • cddplus
  • Referenced in 13 articles [sw04443]
  • The program cdd+ is a C++ implementation of...

  • LINDO
  • Referenced in 552 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...

  • KernSmooth
  • Referenced in 978 articles [sw04586]
  • Kernel smoothing refers to a general methodology for...

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

  • z3
  • Referenced in 590 articles [sw04887]
  • Z3 is a high-performance theorem prover being...

  • LINGO
  • Referenced in 319 articles [sw04942]
  • LINGO is a comprehensive tool designed to make...

  • MINOS
  • Referenced in 458 articles [sw05095]
  • MINOS is a large-scale optimization system, for...

  • quadprog
  • Referenced in 42 articles [sw05110]
  • R package quadprog: Functions to solve Quadratic Programming...

  • minpack
  • Referenced in 732 articles [sw05310]
  • Notes on optimization software. This paper is an...

  • gss
  • Referenced in 293 articles [sw06099]
  • Smoothing spline ANOVA models Nonparametric function estimation with...

  • Maude
  • Referenced in 698 articles [sw06233]
  • Maude is a high-performance reflective language and...

  • WEKA
  • Referenced in 304 articles [sw06435]
  • WEKA: Waikato Environment for Knowledge Analysis. WEKA is...