• INTOPT_90

  • Referenced in 305 articles [sw04705]
  • sporadically present. Many extensive remarks and explanations are connected with INTLIB, INTLIB 90 and INTOPT...
  • gamair

  • Referenced in 296 articles [sw11132]
  • mixed models. Moreover, the book contains explanations of the theory underlying the statistical methods...
  • Quicksort

  • Referenced in 151 articles [sw20694]
  • input sequence. This result provides a theoretical explanation for the observed behavior and gives...
  • K2

  • Referenced in 105 articles [sw19597]
  • entropy, from the recurrence plots. For further explanation have a look at www.recurrence-plot.tk/invariants.php....
  • fields

  • Referenced in 52 articles [sw08187]
  • code is heavily commented and provides useful explanations of numerical details in addition...
  • QUICKXPLAIN

  • Referenced in 28 articles [sw28625]
  • QUICKXPLAIN: preferred explanations and relaxations for over-constrained problems. Over-constrained problems can have ... user of an interactive application, however, desires explanations and relaxations containing the most important constraints ... address this need, we define preferred explanations and relaxations based on user preferences between constraints ... thus provide the technological basis for the explanation facility of a principal industrial constraint programming...
  • DeMat

  • Referenced in 38 articles [sw24853]
  • constraints. The above book contains a detailed explanation of the code and some more examples...
  • WCA

  • Referenced in 27 articles [sw20636]
  • code to provide a step-by-step explanation of the process it follows...
  • PITA

  • Referenced in 19 articles [sw06950]
  • need to combine the probabilities of explanations that may not be exclusive. As one alternative ... COUNT) which computes the number of different explanations for a subgoal, and to PITA(POSS...
  • shap

  • Referenced in 19 articles [sw30901]
  • SHAP (SHapley Additive exPlanations) is a unified approach to explain the output of any machine ... model. SHAP connects game theory with local explanations, uniting several previous methods...
  • MizarMode

  • Referenced in 18 articles [sw01973]
  • start with the explanation of the design principles behind the Mizar system, and show...
  • Mathpert

  • Referenced in 18 articles [sw24047]
  • user to produce individually tailored explanations, and how it dynamically generates individualized and helpful error...
  • SamIam

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

  • Referenced in 15 articles [sw26546]
  • EMACS: UNIX Text editing and programming. Clarity, explanations, illustrations, command summaries; finally a useful book...
  • TulaFale

  • Referenced in 14 articles [sw00986]
  • schemas, example messages, and narrative explanations. We propose a new specification language for writing complementary...
  • rCOS

  • Referenced in 14 articles [sw01502]
  • References to those publications are provided with explanations. Based on the initial experiences with...
  • SUN

  • Referenced in 13 articles [sw28156]
  • single test image, provides a straightforward explanation for many search asymmetries observed in humans...
  • P.rex

  • Referenced in 9 articles [sw21344]
  • explainer. This paper outlines the interactive proof explanation system P.rex , which adapts its explanation...
  • HOL Zero

  • Referenced in 12 articles [sw17594]
  • parsing/printing and Pollack-consistency. Included are an explanation of how Hindley-Milner type inference...
  • DALEX

  • Referenced in 12 articles [sw26094]
  • package DALEX: Descriptive mAchine Learning EXplanations. Machine Learning (ML) models are widely used and have...