Results 1 to 20 of 908
Sort by:

  • INTLAB
  • Referenced in 352 articles [sw04004]
  • slow) multiple precision interval arithmetic with error bounds (does the job, slow...

  • SuperLU
  • Referenced in 139 articles [sw00930]
  • relative backward error, and estimate error bounds for the refined solutions...

  • AS 195
  • Referenced in 96 articles [sw14058]
  • Multivariate normal probabilities with error bound...

  • SuperLU-DIST
  • Referenced in 70 articles [sw00002]
  • relative backward error, and estimate error bounds for the refined solutions...

  • SpaceEx
  • Referenced in 56 articles [sw10939]
  • steps to guarantee a given local error bound. In addition, we propose an improved approximation...

  • POMDPS
  • Referenced in 33 articles [sw03055]
  • different environments under various metrics (return, error bound reduction, lower bound improvement). Our experimental results...

  • EGO
  • Referenced in 252 articles [sw07588]
  • Global Optimization (EGO) algorithm solves costly box-bounded global optimization problems with additional linear, nonlinear ... approximation by sampling where the prediction error may be high...

  • MatSol
  • Referenced in 23 articles [sw12419]
  • iterations. Theory yields the error bounds that are independent of conditioning of constraints...

  • HOT
  • Referenced in 24 articles [sw10803]
  • code. We also review the error bounds on the multipole approximations involved in treecodes...

  • dReal
  • Referenced in 23 articles [sw07157]
  • formulas, where $delta $ is a numerical error bound specified by the user. dReal also produces...

  • ESOLID
  • Referenced in 11 articles [sw15824]
  • filters, arbitrary floating-point arithmetic with error bounds, and lower-dimensional formulation of subproblems. ESOLID...

  • VSDP
  • Referenced in 10 articles [sw04003]
  • provides functions for computing rigorous error bounds of the true optimal value, verified enclosures ... verified certificates of infeasibility. All rounding errors due to floating point arithmetic are taken into...

  • VECTOR_PADE
  • Referenced in 7 articles [sw04679]
  • These experiments show that the theoretical error bounds obtained by Cabay, Jones, and Labahn ... behavior of the actual error, but that in practice these bounds are large overestimates...

  • PROXIMUS
  • Referenced in 6 articles [sw04989]
  • PROXIMUS is a software tool for error-bounded approximation of high-dimensional binary attributed datasets...

  • CkAnalytic
  • Referenced in 5 articles [sw19313]
  • used to obtain mathematically rigorous error bounds on numerical approximations of solutions of differential equations...

  • ASKIT
  • Referenced in 5 articles [sw17470]
  • summarize our previous theoretical complexity and error bounds in one place. We present a brief...

  • SAFECode
  • Referenced in 4 articles [sw13323]
  • possible memory errors due to dangling pointer references, uninitialized pointers, and array bounds overflow ... never invalidated by any possible memory errors. We formalize our approach as a new type ... dangling pointer references and certain array bounds errors) cannot invalidate the call graph, points...

  • Lurupa
  • Referenced in 4 articles [sw09980]
  • Lurupa–rigorous error bounds in linear programming. The software part of my dissertation, Lurupa...

  • MMM2D
  • Referenced in 4 articles [sw18357]
  • which can be easily evaluated. Rigorous error bounds for the energies and the forces...

  • SVMlight
  • Referenced in 242 articles [sw04076]
  • includes two efficient estimation methods for both error rate and precision/recall. XiAlpha-estimates [Joachims, 2002a ... solving a sequence of optimization problems lower-bounding the solution using a form of local...