• AdaBoost.MH

  • Referenced in 485 articles [sw08517]
  • prediction model to a general decision-theoretic setting. We show that the multiplicative weight-update ... than being binary, is an arbitrary finite set or a bounded segment of the real...
  • cdd

  • Referenced in 115 articles [sw00114]
  • convex hull of a finite set of points and the nonnegative hull of a finite...
  • METIS

  • Referenced in 467 articles [sw04089]
  • METIS is a set of serial programs for partitioning graphs, partitioning finite element meshes...
  • Qhull

  • Referenced in 320 articles [sw04419]
  • smallest convex set that contains P. If P is finite, the convex hull defines ... list of facets. Each facet has a set of vertices, a set of neighboring facets...
  • SINGULAR

  • Referenced in 1508 articles [sw00866]
  • polynomial rings over a field (e.g., finite fields, the rationals, floats, algebraic extensions, transcendental extensions ... Furthermore, it provides polynomial factorizations, resultant, characteristic set and gcd computations, syzygy and free-resolution...
  • kappalab

  • Referenced in 50 articles [sw06086]
  • measure) and integral manipulation on a finite setting. It contains routines for handling various types...
  • KELLEY

  • Referenced in 631 articles [sw04829]
  • introduced in chapter 1, and with a set of exercises. par The second part ... group. Implicit filtering methods use finite difference approximations of the gradient, which are adjusted ... respective chapter, and with a set of exercises. par The treatment of both, optimization methods...
  • SETL

  • Referenced in 26 articles [sw36325]
  • Programming with sets. An introduction to SETL. of languages, some of whose other well-known ... objects characteristic for it, namely general finite sets and maps. The direct availability of these...
  • AutoClass

  • Referenced in 70 articles [sw26092]
  • classes in a set of cases, sometimes called finite mixture separation or clustering. The main ... that we search for the “best” set of class descriptions rather than grouping the cases...
  • Mace4

  • Referenced in 227 articles [sw06905]
  • Mace4 is a program that searches for finite models of first-order formulas ... domain are constructed. The result is a set of ground clauses with equality. Then ... useful for work on finite algebras. Mace4 performs better on equational problems than our previous...
  • FELSOS

  • Referenced in 24 articles [sw18095]
  • essentially relies on three basic components: the finite element method for spatial approximation, the operator ... splitting for temporal discretization and the level-set method for interface representation ... show that the finite element implementation of the level-set approach brings some additional benefits ... compared to the standard, finite difference level-set realizations. In particular, the use of finite...
  • Chombo

  • Referenced in 67 articles [sw04316]
  • Equations. Chombo provides a set of tools for implementing finite difference methods for the solution...
  • alphahull

  • Referenced in 18 articles [sw07945]
  • convex hull of a finite set of points. The programming is based on the duality...
  • MeatAxe

  • Referenced in 67 articles [sw04906]
  • MeatAxe is a set of programs for working with matrices over finite fields. Its primary ... module structure etc. Indeed, there is a set of programs (see The Lattice Programs...
  • Cardinal

  • Referenced in 10 articles [sw06999]
  • Cardinal: a finite sets constraint solver. In this paper we present Cardinal, a general finite...
  • MVE

  • Referenced in 13 articles [sw05178]
  • defined by a finite set of linear inequalities. Our goal is to design a general...
  • RAMAS

  • Referenced in 12 articles [sw10958]
  • evaluation of the vector field at the set of all vertices of all rectangles ... finding the roots of a finite set of scalar affine functions. The methodology promises...
  • stCore

  • Referenced in 12 articles [sw21286]
  • random variable ”Size” defined on the (finite) set of so-called (s,t)-core partitions...
  • SmallCheck

  • Referenced in 19 articles [sw09736]
  • type-based generators to obtain test-sets of finite values for which properties are checked...
  • Zinc

  • Referenced in 25 articles [sw08334]
  • automatic coercion and provides arithmetic, finite domain and set constraints. Second, while Zinc...