• ode23

  • Referenced in 292 articles [sw06600]
  • time of the event, and the index i of the event function that vanishes...
  • VAMPIRE

  • Referenced in 239 articles [sw02918]
  • this CASC. A number of efficient indexing techniques are used to implement all major operations...
  • Agda

  • Referenced in 191 articles [sw09689]
  • Haskell’s GADTs, but they can be indexed by values and not just types...
  • Graphs

  • Referenced in 104 articles [sw12277]
  • compute certain information (a data structure or index) to prepare for the next phase. After ... focus lying on the tradeoff between the index size and the query time. We survey...
  • VisualSEEk

  • Referenced in 89 articles [sw13846]
  • queries, the system automatically extracts and indexes salient color regions from the images. By utilizing ... efficient indexing techniques for color information, region sizes and absolute and relative spatial locations...
  • PATRICIA

  • Referenced in 51 articles [sw17325]
  • which provides a flexible means of storing, indexing, and retrieving information in a large file ... which is economical of index space and of reindexing time. It does not require rearrangement ... text or index as new material is added. It requires a minimum restriction of format...
  • sapa

  • Referenced in 77 articles [sw11944]
  • well as a rather detailed subject index. The software used to produce the numerical examples...
  • YAP-Prolog

  • Referenced in 44 articles [sw06948]
  • logic programming systems have a rather limited indexing algorithm. YAP contributes to this area ... providing a dynamic indexing mechanism, or just-in-time indexer. Third, a important contribution...
  • HandTill2001

  • Referenced in 65 articles [sw11200]
  • curve, or the equivalent Gini index, is a widely used measure of performance of supervised...
  • AAindex

  • Referenced in 46 articles [sw26861]
  • AAindex: amino acid index database. AAindex is a database of numerical indices representing various physicochemical ... sections: AAindex1 for the amino acid index of 20 numerical values and AAindex2...
  • NeTra

  • Referenced in 63 articles [sw14887]
  • system include an efficient color representation, and indexing of color, texture, and shape features...
  • BLAT

  • Referenced in 36 articles [sw16891]
  • sequences. BLAT’s speed stems from an index of all nonoverlapping K-mers ... genome. This index fits inside the RAM of inexpensive computers, and need only be computed ... several major stages. It uses the index to find regions in the genome likely ... sizes, mismatch schemes, and number of required index matches. BLAT is compared with other alignment...
  • GELDA

  • Referenced in 33 articles [sw00331]
  • equations (DAEs) with variable coefficients of arbitrary index An important invariant in the analysis ... linear DAEs is the so called strangeness index, which generalizes the differentiation index ... DAEs require the system to have differentiation index not higher than one, which corresponds ... vanishing strangeness index, see [B]. If this condition is not valid...
  • AK-MCS

  • Referenced in 56 articles [sw18303]
  • such as exact interpolation and a local index of uncertainty on the prediction which...
  • Healpix

  • Referenced in 54 articles [sw08860]
  • enables an efficient discretization with associated hierarchical indexation and fast analysis/synthesis of functions defined...
  • DAETS

  • Referenced in 37 articles [sw12535]
  • equation (DAE) that can be of high index, high order, nonlinear, and fully implicit ... problems that are of too high an index for present DAE solvers. This paper outlines...
  • kappalab

  • Referenced in 50 articles [sw06086]
  • such as the Shapley value, the interaction index, the orness degree, etc. The well-known...
  • FSIM

  • Referenced in 31 articles [sw21167]
  • FSIM: A feature similarity index for image quality assessment. Image quality assessment (IQA) aims ... subjective evaluations. The well-known structural similarity index brings IQA from pixel- to structure-based ... this paper, a novel feature similarity (FSIM) index for full reference IQA is proposed based...
  • iProver

  • Referenced in 49 articles [sw09707]
  • implementation techniques such as indexing, redundancy elimination, semantic selection and saturation algorithms. Redundancy elimination implemented...
  • Ziggurat

  • Referenced in 45 articles [sw10535]
  • integer j and let i be the index formed from the rightmost 8 bits...