
AProVE
 Referenced in 148 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 89 articles
[sw07830]
 approximated dependency graph, argument filtering, bounds, dependency pair method, KnuthBendix order, lexicographic path order...

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

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

spatstat
 Referenced in 131 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...

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...

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

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

RSEM
 Referenced in 11 articles
[sw17160]
 improved through the use of pairedend reads, depending on the number of possible splice...

MotifCut
 Referenced in 5 articles
[sw35400]
 those that exhibit strong dependencies between position pairs are found as dense subgraphs. We benchmark...

HCCVis
 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...

Adaptive Threshold
 Referenced in 1 article
[sw34284]
 such as sample size, degree of variable dependence, and variables’ cardinalities. Following, we suggest ... that adaptive thresholds better distinguish between pairs of dependent variables and pairs of independent variables...

FUGUE
 Referenced in 9 articles
[sw16894]
 dependent gap penalties. FUGUE uses the globallocal algorithm to align a sequencestructure pair...

linLIR
 Referenced in 4 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 ... interceptslope pairs corresponding to the undominated regression functions is the union of finitely many...

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...

DNA
 Referenced in 5 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 Ngram and contextdependent HMM, it can perform realtime decoding ... wordpair context approximation, rank/score pruning, Ngram factoring, crossword context dependency handling, enveloped...