• PVS

  • Referenced in 624 articles [sw03484]
  • capture the state-of-the-art in mechanized formal methods and to be sufficiently rugged...
  • NESTA

  • Referenced in 124 articles [sw06576]
  • NESTA: A fast and accurate first-order method for sparse recovery. Accurate signal recovery ... with recently proposed state-of-the-art methods. We also apply the algorithm to solve...
  • SMS-EMOA

  • Referenced in 85 articles [sw11894]
  • compared to state-of-the-art methods on two- and three-objective benchmark suites...
  • AdaGrad

  • Referenced in 120 articles [sw22202]
  • show that adaptive subgradient methods outperform state-of-the-art, yet non-adaptive, subgradient algorithms...
  • ASIFT

  • Referenced in 33 articles [sw02778]
  • these two parameters is feasible. The method permits to reliably identify features that have undergone ... transition tilt. State-of-the-art methods hardly exceed transition tilts of 2 (SIFT...
  • pLoc-mPlant

  • Referenced in 27 articles [sw25191]
  • being solved yet. Most of the existing methods can be used to deal with single ... iLoc-Plant, the state-of-the-art method for predicting plant protein subcellular localization...
  • QUIC

  • Referenced in 25 articles [sw11795]
  • contrast to recent state-of-the-art methods that largely use first order gradient information...
  • Beam-ACO

  • Referenced in 24 articles [sw11745]
  • which is a well-known tree search method. We call this approach Beam ... state-of-the-art method for OSS by comparing the obtained results to the best...
  • pLoc-mVirus

  • Referenced in 23 articles [sw24439]
  • from being solved yet. Most existing methods can be used to deal with single-location ... iLoc-Virus, the state-of-the-art method in predicting virus protein subcellular localization...
  • SDPpack

  • Referenced in 51 articles [sw04333]
  • interior-point methods, the class of methods introduced by Karmarkar in 1984 to solve linear ... implemented a state-of-the-art interior-point method to solve semidefinite programs efficiently...
  • PERMIX

  • Referenced in 19 articles [sw09519]
  • several novel or state of the art methods, the piece software handles semi-concurrent multiscale...
  • pLoc-mHum

  • Referenced in 20 articles [sw27661]
  • from being solved yet. Most existing methods can be used to deal with single-location ... iLoc-Hum, the state-of-the-art method in predicting the human protein subcellular localization...
  • IFISS

  • Referenced in 236 articles [sw04398]
  • algorithms for discretization by mixed finite element methods and a posteriori error estimation ... laboratory for experimenting with state-of-the-art preconditioned iterative solvers for the discrete linear...
  • pottslab

  • Referenced in 15 articles [sw14425]
  • approach is significantly faster than the methods based on graph cuts and convex relaxations ... which are presently the state-of-the-art. The computational costs of our algorithm only ... growth of the state-of-the-art methods. This allows us to process images with...
  • SAP2000

  • Referenced in 24 articles [sw17041]
  • been synonymous with state-of-the-art analytical methods since its introduction over 30 years...
  • FDRSeg

  • Referenced in 14 articles [sw16730]
  • comparisons with some state of the art methods on both simulated and real datasets...
  • POMDPS

  • Referenced in 37 articles [sw03055]
  • survey the various existing online POMDP methods, analyze their properties and discuss their advantages ... indicate that state-of-the-art online heuristic search methods can handle large POMDP domains...
  • SOCS

  • Referenced in 128 articles [sw07737]
  • Sparse Nonlinear Programming exploits state-of-the-art sparse linear algebra technology to solve very ... problems orders of magnitude faster than traditional methods. Applications with more than 100,000 variables...
  • XGobi

  • Referenced in 32 articles [sw11752]
  • system with state-of-the-art interactive and dynamic methods for the manipulation of views...
  • Auto-WEKA

  • Referenced in 25 articles [sw21536]
  • using a state-of-the-art Bayesian optimization method. Our new package is tightly integrated...