• SamIam

  • Referenced in 16 articles [sw29886]
  • time-space tradeoffs; sensitivity analysis; and explanation-generation based...
  • INTOPT_90

  • Referenced in 304 articles [sw04705]
  • sporadically present. Many extensive remarks and explanations are connected with INTLIB, INTLIB 90 and INTOPT ... interval equations, automatic differentiation and code list generation, interval Newton method, and a short glance...
  • Mathpert

  • Referenced in 19 articles [sw24047]
  • produce individually tailored explanations, and how it dynamically generates individualized and helpful error messages...
  • cumulativemm

  • Referenced in 3 articles [sw15628]
  • Moreover, they integrate domain propagation and explanation generation techniques for the above problem characteristics...
  • gprecedencemm

  • Referenced in 3 articles [sw15629]
  • Moreover, they integrate domain propagation and explanation generation techniques for the above problem characteristics...
  • ExplainPrediction

  • Referenced in 1 article [sw19524]
  • Predictions for Classification and Regression Models. Generates explanations for classification and regression models and visualizes ... them. Explanations are generated for individual predictions as well as for models as a whole...
  • DENDRAL

  • Referenced in 8 articles [sw23919]
  • Heuristic DENDRAL: A Program for Generating Explanatory Hypotheses in Organic Chemistry. A computer program ... which are plausible explanations of the data. The hypotheses are generated systematically within the program...
  • modelStudio

  • Referenced in 3 articles [sw30898]
  • predictive models. This package generates advanced interactive and animated model explanations in the form...
  • GENXICC

  • Referenced in 1 article [sw18573]
  • generator to PYTHIA is changed accordingly. In the subprogram, with explanation, certain necessary assumptions (approximations...
  • MizarMode

  • Referenced in 17 articles [sw01973]
  • start with the explanation of the design principles behind the Mizar system, and show ... proof development by a number of “code-generating”, “code-browsing” and “code-searching” methods...
  • MBT

  • Referenced in 6 articles [sw08004]
  • Based on such a corpus, the tagger-generator automatically builds a tagger which is able ... sufficient for training, (ii) incremental learning, (iii) explanation capabilities, (iv) flexible integration of information...
  • OntoDebug

  • Referenced in 1 article [sw24974]
  • allow for the computation of a unique explanation, OntoDebug is able to collect the missing ... asking the user a sequence of automatically generated questions...
  • LHD

  • Referenced in 1 article [sw35696]
  • comprehensive since it is capable of generating maximin distance LHDs, maximum projection LHDs, and nearly ... each algorithm includes useful information and explanation along with corresponding references. This package is particularly...
  • Bogart

  • Referenced in 2 articles [sw34517]
  • commercial application: a database system and application generator, the main product of Sapiens International ... code. This reaffirms the need for an explanation facility in intelligent applications...
  • OSP 2

  • Referenced in 1 article [sw25621]
  • engagement with OSP 2, the next generation of the highly popular OSP courseware. This book ... www.springer.com/978-1-84628-842-5. * Each chapter includes self-contained explanations of the OS concepts underlying the student...
  • Coq

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

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

  • Referenced in 528 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • PSPLIB

  • Referenced in 248 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...
  • R

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