-
SIFT
- Referenced in 605 articles
[sw16554]
- images that can be used to perform reliable matching between different views of an object...
-
KELLEY
- Referenced in 600 articles
[sw04829]
- even if available, cannot expected to be reliable. This second part contains three chapters...
-
Gurobi
- Referenced in 501 articles
[sw04105]
- Gurobi Optimizer goes beyond fast and reliable solution performance to provide a broad range...
-
LSQR
- Referenced in 358 articles
[sw00530]
- gradients, but possesses more favorable numerical properties. Reliable stopping criteria are derived, along with estimates ... algorithms, indicating that LSQR is the most reliable algorithm when A is ill-conditioned...
-
INTLAB
- Referenced in 419 articles
[sw04004]
- INTLAB is the Matlab toolbox for reliable computing and self-validating algorithms. It comprises...
-
NAG
- Referenced in 417 articles
[sw00610]
- trusted because of its unrivalled quality, reliability and portability. Whether it is a single...
-
ScaLAPACK
- Referenced in 404 articles
[sw00830]
- goals of both projects are efficiency, scalability, reliability, portability, flexibility, and ease of use.\parScaLAPACK...
-
CGAL
- Referenced in 355 articles
[sw00118]
- provide easy access to efficient and reliable geometric algorithms in the form...
-
NuSMV
- Referenced in 295 articles
[sw04131]
- architecture for model checking, which can be reliably used for the verification of industrial designs...
-
HOL Light
- Referenced in 288 articles
[sw06580]
- rules without compromising soundness. While retaining this reliability and programmability from earlier HOL systems...
-
GMRFLib
- Referenced in 282 articles
[sw06641]
- emphasize the computational aspects, construct fast and reliable algorithms for MCMC inference, and provide...
-
HSL
- Referenced in 269 articles
[sw00418]
- offers users a high standard of reliability and has an international reputation as a source...
-
SPLIDA
- Referenced in 246 articles
[sw27861]
- collection of S-Plus functions for Reliability Data Analysis. These functions were developed and used...
-
MOD-DIST
- Referenced in 237 articles
[sw07504]
- defender-interdictor models for the design of reliable facility location systems -- A full range...
-
MENU-OKF
- Referenced in 237 articles
[sw07505]
- defender-interdictor models for the design of reliable facility location systems -- A full range...
-
UTV
- Referenced in 236 articles
[sw05213]
- matrix, and we provide a robust and reliable Lanczos algorithm which -- despite its simplicity...
-
SITATION
- Referenced in 229 articles
[sw07503]
- defender-interdictor models for the design of reliable facility location systems -- A full range...
-
VanHuffel
- Referenced in 213 articles
[sw05243]
- development of computationally efficient and numerically reliable TLS algorithms. Much attention is paid in this...
-
PHCpack
- Referenced in 210 articles
[sw00705]
- application domains. Homotopy continuation methods are reliable and powerful methods to compute numerically approximations...
-
CONOPT
- Referenced in 162 articles
[sw02791]
- programming from both an efficiency and a reliability point of view. This is especially true...