
SIFT
 Referenced in 631 articles
[sw16554]
 Keypoint Detector. Distinctive Image Features from ScaleInvariant 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...

Adam
 Referenced in 737 articles
[sw22205]
 computationally efficient, has little memory requirements, is invariant to diagonal rescaling of the gradients...

NewtonLib
 Referenced in 298 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 163 articles
[sw06873]
 following data are listed: volume, ChernSimons 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 141 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...

GRAFFITI
 Referenced in 198 articles
[sw07495]
 evaluating formulas formed from graphtheoretical invariants; a formula is a conjecture if none...

SURF
 Referenced in 183 articles
[sw29761]
 present a novel scale and rotationinvariant interest point detector and descriptor, coined SURF (Speeded...

GAIO
 Referenced in 92 articles
[sw04306]
 used to compute invariant sets, invariant manifolds, invariant measures and almost invariant sets in dynamical...

KANT/KASH
 Referenced in 156 articles
[sw00481]
 user with the means to compute many invariants of F. It is possible to solve...

K2
 Referenced in 106 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...

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

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

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

AIDA
 Referenced in 58 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 65 articles
[sw07928]
 based on the continuation of structurally unstable invariant sets in a suitable phaseparameter space ... invariant sets involved in our study are equilibrium points and limit cycles of autonomous ODEs...

Daikon
 Referenced in 44 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...

SIGNAL
 Referenced in 52 articles
[sw02915]
 SIGNAL. Just as datatypes describe the invariants of program modules in functional languages, temporal ... dataflow invariants interface SIGNAL processes to their enviroument. In conventional languages, typing...

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 highdimensional invariant feature...

SsfPack
 Referenced in 66 articles
[sw09502]
 state space forms: from a simple timeinvariant model to a complicated timevarying model...