• LDGB

  • Referenced in 42 articles [sw07134]
  • general nonsmooth optimization methods is efficient in large-scale settings. In this article we describe...
  • GESPAR

  • Referenced in 30 articles [sw25722]
  • GESPAR: Efficient Phase Retrieval of Sparse Signals. We consider the problem of phase retrieval, namely ... than existing techniques in a variety of settings...
  • Gecode

  • Referenced in 82 articles [sw06272]
  • efficiency as the variables that come predefined with Gecode. comprehensive. Gecode has a comprehensive set ... features: constraints over integers, Booleans, sets, and floats (it implements more than 70 constraints from ... breaking (LDSB); MiniZinc support; and many more. efficient Gecode offers excellent performance with respect...
  • BoneRoute

  • Referenced in 36 articles [sw04644]
  • very efficient, producing high quality solutions over two sets of well known case studies examined...
  • SWIFFT

  • Referenced in 48 articles [sw11588]
  • that are highly parallelizable and admit very efficient implementations on modern microprocessors. The main technique ... functions are set apart from prior proposals (having comparable efficiency) by a supporting asymptotic security...
  • AdaGrad

  • Referenced in 166 articles [sw22202]
  • modifying the proximal function, which significantly simplifies setting a learning rate and results in regret ... chosen in hindsight. We give several efficient algorithms for empirical risk minimization problems with common...
  • LCM

  • Referenced in 39 articles [sw40293]
  • Efficient Algorithm for Enumerating Frequent Closed Item Sets. In this paper, we propose three algorithms...
  • TRON

  • Referenced in 113 articles [sw04714]
  • TRON to examine faces of the feasible set by generating a small number of minor ... variables. As a result TRON is remarkably efficient at solving large bound-constrained optimization problems...
  • UniMath

  • Referenced in 23 articles [sw15140]
  • types of h-level 1 and sets as types of h-level 2. Instead ... efficiently formalize all of the set-theoretic mathematics. With types of h-level...
  • Algorithm 679

  • Referenced in 65 articles [sw12583]
  • Algorithm 679: A set of Level 3 Basic Linear Algebra Subprograms. This paper describes ... operations with the aim of providing more efficient but portable, implementations of algorithms on high ... computers. The model implementation provides a portable set of FORTRAN 77 Level 2 BLAS...
  • MSLiP

  • Referenced in 110 articles [sw01410]
  • linear programming problem. This paper describes an efficient implementation of a nested decomposition algorithm ... staircase problems are adapted to the stochastic setting and their effect on computation times...
  • Cardinal

  • Referenced in 10 articles [sw06999]
  • set of rewriting rules on a constraint store and we illustrate its efficiency with experimental ... manner and solve them efficiently using Cardinal. Results on a set of diagnostic problems show ... capabilities and efficiency, we generalized Cardinal to actively consider constraints over set functions other than ... set variables, and easily constraining those functions, letting Cardinal especial inferences efficiently take care...
  • Proteus

  • Referenced in 106 articles [sw41563]
  • motion of a particle in a more efficient way. Compared to the ”bounce-back” scheme ... higher Reynolds number flows. By using a set of Lagrangian points to track the boundary ... particles of irregular shapes simpler and more efficient. Proteus has been developed...
  • Pregel

  • Referenced in 40 articles [sw13416]
  • trillions of edges - poses challenges to their efficient processing. In this paper we present ... broad set of algorithms. The model has been designed for efficient, scalable and fault-tolerant...
  • SPG

  • Referenced in 76 articles [sw00897]
  • gradient values, and projections onto the feasible set. Some recent numerical tests are reported ... problems, indicating that SPG is substantially more efficient than existing general-purpose software on problems...
  • SVMlight

  • Referenced in 264 articles [sw04076]
  • generalization performance efficiently. It includes two efficient estimation methods for both error rate and precision/recall ... examples, so that it orders a new set of objects as accurately as possible. Such ... which leads to a very compact and efficient representation...
  • PROPACK

  • Referenced in 109 articles [sw04019]
  • software package PROPACK contains a set of functions for computing the singular value decomposition ... used directly, and form the basis of efficient algorithms for solving linear systems of equations...
  • ScaLAPACK

  • Referenced in 418 articles [sw00830]
  • problems. The goals of both projects are efficiency, scalability, reliability, portability, flexibility, and ease ... computers, example programs, and the full set of LAPACK Working Notes...
  • CLOSET

  • Referenced in 51 articles [sw26986]
  • CLOSET: an efficient logarithm for mining frequent closed itemsets. Association mining may often derive ... undesirably large set of frequent itemsets and association rules. Recent studies have proposed an interesting ... presented. In this paper, we propose an efficient algorithm, CLOSET, for mining closed itemsets, with...
  • MUP

  • Referenced in 15 articles [sw11910]
  • algorithm, highlighting its efficiency on a set of hard problems as well as its ability...