• 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 259 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...
  • d2_cluster

  • Referenced in 5 articles [sw28788]
  • interpretation of the type II error. Upper bounds for these d2_cluster error rates...
  • CiaoPP

  • Referenced in 41 articles [sw12089]
  • failure, determinacy, bounds on computational cost, bounds on sizes of terms in the program ... kinds of static debugging and verification, finding errors before running the program. This includes checking...
  • veDYNA

  • Referenced in 10 articles [sw04237]
  • stabilization techniques to keep the error in the constraints bounded for arbitrary time intervals. These...
  • SNIFF

  • Referenced in 3 articles [sw20679]
  • estimate with accuracy within the assigned error bounds. The implied method for local generation...
  • CAMPARY

  • Referenced in 3 articles [sw15156]
  • also allowing for rigorously proven rounding error bounds. This allows as well for an interval...
  • SOFAR

  • Referenced in 3 articles [sw31665]
  • assisted nonconvex optimization, we derive nonasymptotic error bounds for the suggested procedure characterizing the theoretical...
  • Jet_fitting_3

  • Referenced in 3 articles [sw22886]
  • methods provided achieve the best asymptotic error bounds known to date. On the implementation side...
  • LLBMC

  • Referenced in 15 articles [sw09478]
  • LLBMC: improved bounded model checking of C programs using LLVM . (Competition contribution). LLBMC ... runtime errors in C and C++ programs. It is based on bounded model checking using...
  • SuLQ

  • Referenced in 120 articles [sw11355]
  • noise -- much less than the sampling error -- provided the total number of queries is sublinear ... types, as a consequence greatly improving the bounds on noise required for privacy. Second...
  • COCA

  • Referenced in 8 articles [sw05004]
  • characterising number of extreme points of the error function. In a first step, the authors ... algorithm which increases the lower bound for the maximal error. The authors present a convergence...
  • MARS

  • Referenced in 8 articles [sw14516]
  • operations on the modeling space, bound its overall IT error by the sum of intuitively...
  • FI_LIB

  • Referenced in 1 article [sw30814]
  • routines are supplied with reliable relative error bounds of high quality. The error estimates cover ... approximation errors (best approximations with reliable error bounds). All error estimates are reliable worst-case...
  • Hybrid Trace Verifier

  • Referenced in 2 articles [sw20335]
  • Computing bounded reach sets from sampled simulation traces. This paper presents an algorithm which uses ... overapproximation relies on computing error bounds in the dynamics obtained from the formal model. Verification...
  • Compqd

  • Referenced in 2 articles [sw29675]
  • that the relative forward rounding error bounds can be derived directly. Our numerical experiments illustrate...
  • MMM1D

  • Referenced in 2 articles [sw18358]
  • similar to the Lekner method. Rigorous error bounds for the energies and the forces...
  • UnstableManifoldCompactMap

  • Referenced in 1 article [sw22780]
  • Maps: Numerical Implementation and Computer Assisted Error Bounds. We develop and implement a semi-numerical ... computations we develop a-posteriori error bounds for the approximations. Numerical implementation ... control of float- ing point round-off errors (or interval arithmetic), leads to mathematically rigorous...
  • HSL_ea19

  • Referenced in 3 articles [sw06189]
  • Lehmann bounds and eigenvalue error estimation The paper investigates the properties of Lehmann’s optimal ... bounds for eigenvalues of Hermitian problems in order to find a way to efficiently ... them for eigenvalue error estimation. A practical error estimation scheme is described that...