• SIFT

  • Referenced in 455 articles [sw16554]
  • Keypoint Detector. Distinctive Image Features from Scale-Invariant Keypoints. This paper presents a method ... extracting distinctive invariant features from images that can be used to perform reliable matching between ... object or scene. The features are invariant to image scale and rotation, and are shown...
  • NewtonLib

  • Referenced in 218 articles [sw04796]
  • Book ”Newton Methods for Nonlinear Problems -- Affine Invariance and Adaptive Algorithms”. This monograph presents ... close connection with an associated affine invariant convergence analysis. Part of these algorithms are presented...
  • SnapPea

  • Referenced in 130 articles [sw06873]
  • following data are listed: volume, Chern-Simons invariant (if orientable), homology, symmetry or isometry group ... lists and to compute the various invariants. It is a hope that the lists...
  • AutoGraphiX

  • Referenced in 105 articles [sw06137]
  • graphs minimizing of maximizing a graph invariant (or a function of graph invariants, which could ... also be considered as an invariant). From this main capability, some information on the extremal...
  • GAIO

  • Referenced in 64 articles [sw04306]
  • used to compute invariant sets, invariant manifolds, invariant measures and almost invariant sets in dynamical...
  • GRAFFITI

  • Referenced in 100 articles [sw07495]
  • evaluating formulas formed from graph-theoretical invariants; a formula is a conjecture if none...
  • AIDA

  • Referenced in 56 articles [sw11535]
  • AIDA Maple Package: Algebraic Invariants and their Differential Algebras. The AIDA package will ... routines to explore algebra of differential invariants: computation of generating sets of invariants, rewritings, syzygies...
  • LOCBIF

  • Referenced in 61 articles [sw07928]
  • based on the continuation of structurally unstable invariant sets in a suitable phase-parameter space ... invariant sets involved in our study are equilibrium points and limit cycles of autonomous ODEs...
  • Boogie

  • Referenced in 83 articles [sw07714]
  • Boogie language as input, optionally infers some invariants in the given Boogie program, and then...
  • PicToSeek

  • Referenced in 36 articles [sw14897]
  • PicToSeek: combining color and shape invariant features for image retrieval. We aim at combining color ... shape invariants for indexing and retrieving images. To this end, color models are proposed independent ... illumination. From these color models, color invariant edges are derived from which shape invariant features ... described to combine the color and shape invariants into a unified high-dimensional invariant feature...
  • Daikon

  • Referenced in 33 articles [sw04319]
  • Daikon system for dynamic detection of likely invariants. Daikon is an implementation of dynamic detection ... likely invariants; that is, the Daikon invariant detector reports likely program invariants. An invariant ... extend Daikon to check for additional invariants. Dynamic invariant detection runs a program, observes ... were true over the observed executions. Dynamic invariant detection is a machine learning technique that...
  • VCC

  • Referenced in 46 articles [sw07220]
  • program, annotated with function specifications, data invariants, loop invariants, and ghost code, and tries...
  • SIGNAL

  • Referenced in 45 articles [sw02915]
  • SIGNAL. Just as data-types describe the invariants of program modules in functional languages, temporal ... data-flow invariants interface SIGNAL processes to their enviroument. In conventional languages, typing...
  • K2

  • Referenced in 36 articles [sw19597]
  • TOCSY - Toolboxes for Complex Systems: K2 - Dynamical Invariants by Recurrence Plots. Recurrence plots contain information ... system. It is possible, to derive dynamical invariants, like K2 entropy, from the recurrence plots...
  • CandS

  • Referenced in 48 articles [sw07308]
  • applicable to calculate the basic Euclidean differential invariants of curves and surfaces and to present...
  • SRRIT

  • Referenced in 28 articles [sw01229]
  • Fortran subroutine to calculate the dominant invariant subspace of a nonsymmetric matrix SRRIT ... approximate orthonormal basis for a dominant invariant subspace of a real matrix ... columns of Q span the invariant subspace corresponding to those eigenvalues. SRRIT references A only...
  • GELDA

  • Referenced in 32 articles [sw00331]
  • variable coefficients of arbitrary index An important invariant in the analysis of linear DAEs ... which first determines all the local invariants and then transforms the system (1) into...
  • SsfPack

  • Referenced in 43 articles [sw09502]
  • state space forms: from a simple time-invariant model to a complicated time-varying model...
  • FOCI

  • Referenced in 40 articles [sw12868]
  • predicates in predicate abstraction, and computing inductive invariants...