Results 1 to 20 of 715
Sort by:

  • KELLEY
  • Referenced in 498 articles [sw04829]
  • even if available, cannot expected to be reliable. This second part contains three chapters...

  • SIFT
  • Referenced in 440 articles [sw16554]
  • images that can be used to perform reliable matching between different views of an object...

  • LSQR
  • Referenced in 242 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...

  • ScaLAPACK
  • Referenced in 331 articles [sw00830]
  • goals of both projects are efficiency, scalability, reliability, portability, flexibility, and ease of use.\parScaLAPACK...

  • NAG
  • Referenced in 285 articles [sw00610]
  • trusted because of its unrivalled quality, reliability and portability. Whether it is a single...

  • INTLAB
  • Referenced in 280 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing and self-validating algorithms. It comprises...

  • NuSMV
  • Referenced in 231 articles [sw04131]
  • architecture for model checking, which can be reliably used for the verification of industrial designs...

  • CGAL
  • Referenced in 228 articles [sw00118]
  • provide easy access to efficient and reliable geometric algorithms in the form...

  • HOL Light
  • Referenced in 183 articles [sw06580]
  • rules without compromising soundness. While retaining this reliability and programmability from earlier HOL systems...

  • SITATION
  • Referenced in 170 articles [sw07503]
  • defender-interdictor models for the design of reliable facility location systems -- A full range...

  • MOD-DIST
  • Referenced in 170 articles [sw07504]
  • defender-interdictor models for the design of reliable facility location systems -- A full range...

  • MENU-OKF
  • Referenced in 170 articles [sw07505]
  • defender-interdictor models for the design of reliable facility location systems -- A full range...

  • VanHuffel
  • Referenced in 162 articles [sw05243]
  • development of computationally efficient and numerically reliable TLS algorithms. Much attention is paid in this...

  • PHCpack
  • Referenced in 146 articles [sw00705]
  • application domains. Homotopy continuation methods are reliable and powerful methods to compute numerically approximations...

  • Gurobi
  • Referenced in 146 articles [sw04105]
  • Gurobi Optimizer goes beyond fast and reliable solution performance to provide a broad range...

  • HSL
  • Referenced in 145 articles [sw00418]
  • offers users a high standard of reliability and has an international reputation as a source...

  • GMRFLib
  • Referenced in 145 articles [sw06641]
  • emphasize the computational aspects, construct fast and reliable algorithms for MCMC inference, and provide...

  • UTV
  • Referenced in 128 articles [sw05213]
  • matrix, and we provide a robust and reliable Lanczos algorithm which -- despite its simplicity...

  • CONOPT
  • Referenced in 122 articles [sw02791]
  • programming from both an efficiency and a reliability point of view. This is especially true...

  • SLAM
  • Referenced in 121 articles [sw03136]
  • designing interfaces and software that ensure reliable and correct functioning. Static Driver Verifier...