
AProVE
 Referenced in 143 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 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 116 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 50 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 8 articles
[sw17160]
 improved through the use of pairedend reads, depending on the number of possible splice...

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

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

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

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 ... interceptslope 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 Ngram and contextdependent HMM, it can perform realtime decoding ... wordpair context approximation, rank/score pruning, Ngram factoring, crossword 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...

FVK
 Referenced in 4 articles
[sw30463]
 solving fuzzy multicriteria decision problems with dependent criteria. We propose a new multicriteria decision ... making (MCDM) method based on fuzzy pairwise comparisons and a feedback between the criteria...