• bootstrap

  • Referenced in 1067 articles [sw19105]
  • Introduction to the Bootstrap”. Software (bootstrap, cross-validation, jackknife) and data for the book...
  • INTLAB

  • Referenced in 426 articles [sw04004]
  • Matlab toolbox for reliable computing and self-validating algorithms. It comprises of self-validating methods...
  • XPath

  • Referenced in 371 articles [sw15780]
  • information that becomes available when documents are validated using XML Schema. A backwards compatibility mode...
  • SPASS

  • Referenced in 178 articles [sw04108]
  • beiseite: Proof found. if the formula is valid, SPASS beiseite: Completion found. if the formula ... valid and because validity in first-order logic is undecidable, SPASS may run forever without...
  • VAMPIRE

  • Referenced in 239 articles [sw02918]
  • system produces a verifiable proof, which validates both the clausification phase and the refutation...
  • BVPh

  • Referenced in 181 articles [sw06575]
  • applications. Part III shows the validity of the HAM for nonlinear PDEs, such...
  • Graphplan

  • Referenced in 181 articles [sw07746]
  • partial-order plan, or states that no valid plan exists.par We provide empirical evidence...
  • Silhouettes

  • Referenced in 179 articles [sw03705]
  • graphical aid to the interpretation and validation of cluster analysis...
  • PMTK

  • Referenced in 168 articles [sw14689]
  • methods from frequentist statistics, such as cross validation, are also supported.) Since December...
  • CESAR

  • Referenced in 157 articles [sw08510]
  • distributed applications. CESAR allows the progressive validation of the algorithmic description of a system...
  • LiE

  • Referenced in 152 articles [sw01075]
  • group theoretical concepts and about currently valid definitions and values. Computer algebra system...
  • CVC4

  • Referenced in 107 articles [sw09485]
  • used to prove the validity (or, dually, the satisfiability) of first-order formulas ... CVC4 is the fourth in the Cooperating Validity Checker family of tools (CVC, CVC Lite...
  • Control System Toolbox

  • Referenced in 139 articles [sw07643]
  • other interactive and automated techniques. You can validate your design by verifying rise time, overshoot...
  • MINTO

  • Referenced in 132 articles [sw04587]
  • probing; construct feasible solutions generate strong valid inequalities perform variable fixing based on reduced prices...
  • spatstat

  • Referenced in 131 articles [sw04429]
  • smoothed intensity, relative risk estimation with cross-validated bandwidth selection, mark correlation functions, segregation indices...
  • BLAST

  • Referenced in 127 articles [sw02937]
  • entry point (main function) by a valid execution. Verification of safety properties may be reduced...
  • AVISPA

  • Referenced in 84 articles [sw03172]
  • AVISPA (Automated Validation of Internet Security Protocols and Applications) is a push-button tool ... automated validation of Internet security-sensitive protocols and applications. It provides a modular and expressive...
  • PDDL

  • Referenced in 92 articles [sw07079]
  • language, its formal semantics and the validation of concurrent plans. We observe that PDDL2.1...
  • Cohn-Kanade

  • Referenced in 57 articles [sw04974]
  • what may actually have been performed. For validated emotion labels, please use version ... sequence is fully FACS coded. In addition validated emotion labels have been added ... classifier with leave-one-out subject cross-validation was used. Both sets of results...
  • Cell-PLoc

  • Referenced in 90 articles [sw09126]
  • demonstrated by a series of cross-validation tests on the benchmark data sets that covered...