• AProVE

  • Referenced in 140 articles [sw07831]
  • Automatic Termination Proofs in the Dependency Pair Framework. AProVE 1.2 is one of the most ... first tool which automates the new dependency pair framework [8] and therefore permits a completely...
  • Tyrolean

  • Referenced in 88 articles [sw07830]
  • approximated dependency graph, argument filtering, bounds, dependency pair method, Knuth-Bendix order, lexicographic path order...
  • CeTA

  • Referenced in 38 articles [sw06584]
  • rewriting including three major termination criteria: dependency pairs, dependency graphs, and reduction pairs. Second...
  • TORPA

  • Referenced in 10 articles [sw10120]
  • polynomial interpretations, recursive path order, the dependency pair method and match bounds of right hand...
  • Tsukuba

  • Referenced in 10 articles [sw10116]
  • tool is based on the dependency pair method of Arts and Giesl. It incorporates several...
  • spatstat

  • Referenced in 106 articles [sw04429]
  • distance and empty space statistics, Fry plots, pair correlation function, kernel smoothed intensity, relative risk ... selection, mark correlation functions, segregation indices, mark dependence diagnostics etc. Point process models...
  • VMTL

  • Referenced in 8 articles [sw10065]
  • fashion according to the widely adopted dependency pair framework. Apart from modular extensibility, VMTL focuses...
  • Irdis

  • Referenced in 6 articles [sw09690]
  • comprehensions; Syntactic conveniences for lists, tuples, dependent pairs; do notation and idiom brackets; Indentation significant...
  • TwoCop

  • Referenced in 43 articles [sw12359]
  • dependence structures estimated through empirical copulas. We provide inference for independent or paired samples...
  • RSEM

  • Referenced in 6 articles [sw17160]
  • improved through the use of paired-end reads, depending on the number of possible splice...
  • quantspec

  • Referenced in 4 articles [sw14419]
  • Measures for serial dependence based on copulas or joint distributions of pairs of observations...
  • SequenceAnalysis

  • Referenced in 0 articles [sw16313]
  • stability of a given base pair depends on the identity and orientation of neighboring base...
  • FUGUE

  • Referenced in 8 articles [sw16894]
  • dependent gap penalties. FUGUE uses the global-local algorithm to align a sequence-structure pair...
  • linLIR

  • Referenced in 3 articles [sw11393]
  • pairs of precise values for the two variables (dependent and independent). Each of these intervals ... contains the corresponding (unobserved) value of the dependent or independent variable. The goal ... intercept-slope pairs corresponding to the undominated regression functions is the union of finitely many...
  • DNA

  • Referenced in 4 articles [sw26923]
  • genes are dependent on each other. Experimental techniques to detect such interacting pairs of genes...
  • Julius

  • Referenced in 4 articles [sw21656]
  • Based on word N-gram and context-dependent HMM, it can perform real-time decoding ... word-pair context approximation, rank/score pruning, N-gram factoring, cross-word context dependency handling, enveloped...
  • subcopem2D

  • Referenced in 1 article [sw21334]
  • based dependence measure. A dependence measure for arbitrary type pairs of random variables is proposed ... Also, a sample version of the proposed dependence measure based on the empirical subcopula...
  • GEST

  • Referenced in 2 articles [sw29592]
  • searches depend crucially on the metric used to assess the similarity between pairs of experiments...
  • OXBench

  • Referenced in 5 articles [sw22988]
  • utility of any prediction is completely dependent on the accuracy of the alignment. In this ... methods such as CLUSTALW once the PAM250 pair-score matrix was replaced by a BLOSUM ... sequence alignment techniques. Evaluation measures that were dependent on comparison to a reference alignment were ... accuracy seen since 1985 stems from improved pair-score matrices rather than algorithmic refinements...
  • TPMSVM

  • Referenced in 7 articles [sw12692]
  • determines indirectly the separating hyperplane through a pair of nonparallel parametric-margin hyperplanes solved ... error structure, that is, the noise strongly depends on the input value. But there...