
SamIam
 Referenced in 16 articles
[sw29886]
 timespace tradeoffs; sensitivity analysis; and explanationgeneration 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 “codegenerating”, “codebrowsing” and “codesearching” methods...

MBT
 Referenced in 6 articles
[sw08004]
 Based on such a corpus, the taggergenerator 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/9781846288425. * Each chapter includes selfcontained 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 highlevel language and interactive...

MiniSat
 Referenced in 528 articles
[sw00577]
 An extensible SATsolver. 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...