• AProVE

  • Referenced in 141 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 40 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 113 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...
  • TwoCop

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

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

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

  • Referenced in 2 articles [sw30710]
  • common approach to measure dependence between clusters is through pairs of single time series ... method proposes cluster coherence which measures dependence between pairs of whole clusters rather than between ... Thus it takes into account both the dependence between clusters and within channels...
  • 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...