
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. XiAlphaestimates [Joachims, 2002a ... solving a sequence of optimization problems lowerbounding 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 worstcase...

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 seminumerical ... computations we develop aposteriori error bounds for the approximations. Numerical implementation ... control of float ing point roundoff 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...