• SMAC

  • Referenced in 59 articles [sw27215]
  • Model-based Algorithm Configuration. SMAC (sequential model-based algorithm configuration) is a versatile tool ... effective for the hyperparameter optimization of machine learning algorithms, scaling better to high dimensions...
  • mlrMBO

  • Referenced in 4 articles [sw19214]
  • flexible and comprehensive R toolbox for model-based optimization (MBO), also known as Bayesian optimization ... given objective function through a surrogate regression model. It is designed for both single ... learner from the mlr toolbox for machine learning can be used, and infill criteria...
  • CLEMM

  • Referenced in 1 article [sw31323]
  • Model-based clustering with envelopes. Clustering analysis is an important unsupervised learning technique in multivariate ... statistics and machine learning. In this paper, we propose a set of new mixture models...
  • BART-BMA

  • Referenced in 2 articles [sw23498]
  • methods where the individual trees are the base learners. However, for datasets where the number ... dimensional data is random forests, a machine learning algorithm which grows trees using a greedy ... BART called BART-BMA, which uses Bayesian model averaging and a greedy search algorithm ... random forests to offer a model-based algorithm which can deal with high-dimensional data...
  • PATDEX

  • Referenced in 1 article [sw26326]
  • complex machines. It is integrated in the Moltke workbench (MOdels, Learning and Temporal Knowledge ... particular a model-based approach (cf. [21, 22]); it is essentially in Patdex [3] that...
  • VERIFAI

  • Referenced in 1 article [sw32550]
  • that include artificial intelligence (AI) and machine learning (ML) components. VERIFAI particularly seeks to address ... components, including those based on neural networks, and to model and analyze system behavior ... models and specifications. Several use cases are illustrated with examples, including temporal-logic falsification, model...
  • ADOL-C

  • Referenced in 233 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • BARON

  • Referenced in 311 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Isabelle

  • Referenced in 606 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Mathematica

  • Referenced in 5883 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

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

  • Referenced in 257 articles [sw00563]
  • R package mclust: Normal Mixture Modeling for Model...
  • Octave

  • Referenced in 284 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • SETHEO

  • Referenced in 119 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper...
  • R

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

  • Referenced in 16 articles [sw01096]
  • GIB stands for Goren-In-a-Box, and...
  • DYNAMO

  • Referenced in 250 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • L-BFGS-B

  • Referenced in 162 articles [sw01234]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • Kronos

  • Referenced in 261 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • Graphviz

  • Referenced in 81 articles [sw01283]
  • Graphviz is open source graph visualization software. Graph...