
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, KnuthBendix 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 pairedend 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 globallocal algorithm to align a sequencestructure 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 ... 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...

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 pairscore 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 pairscore matrices rather than algorithmic refinements...

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