• DrWhy

  • Referenced in 1 article [sw29416]
  • shared principles and simple grammar for exploration, explanation and visualisation of predictive models. Architecture...
  • modelStudio

  • Referenced in 3 articles [sw30898]
  • various local and global explanations. Tools for model exploration unite with tools for EDA (Exploratory...
  • hABCDE

  • Referenced in 5 articles [sw14869]
  • compromise between the exploration and the exploitation. Based on the above explanation, this paper presents...
  • NeuralQA

  • Referenced in 1 article [sw34391]
  • support workflows for research explorations (e.g., visualization of gradient-based explanations to support qualitative inspection...
  • triplot

  • Referenced in 1 article [sw35217]
  • Features in Machine Learning Models. Tools for exploring effects of correlated features in predictive models ... predict_triplot() function delivers instance-level explanations that calculate the importance of the groups...
  • MCMG

  • Referenced in 1 article [sw10705]
  • validation is demonstrated with a preliminary architectural exploration study. Then we present shared LLC access ... results of heterogeneous cores and show reasonable explanation. Finally, we conclude...
  • Coq

  • Referenced in 1783 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Matlab

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

  • Referenced in 8309 articles [sw00771]
  • R is a language and environment for statistical...
  • UCI-ml

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

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

  • Referenced in 71 articles [sw06996]
  • Potassco: the Potsdam answer set solving collection. This...
  • CESAR

  • Referenced in 156 articles [sw08510]
  • Specification and verification of concurrent systems in CESAR...
  • Gammatella

  • Referenced in 4 articles [sw08957]
  • GAMMATELLA: visualizing program-execution data for deployed software...
  • CBMC

  • Referenced in 77 articles [sw09719]
  • CBMC is a Bounded Model Checker for ANSI...
  • SOREX

  • Referenced in 5 articles [sw10972]
  • SOREX: subspace outlier ranking exploration toolkit. Outlier mining...
  • rapidminer

  • Referenced in 17 articles [sw11031]
  • Easy-to-use visual environment for predictive analytics...
  • C4.5

  • Referenced in 1120 articles [sw12176]
  • C4.5: programs for machine learning. (C4.5 has been...
  • TETRAD

  • Referenced in 386 articles [sw12177]
  • TETRAD is a program which creates, simulates data...