A regular tree language L is locally testable if membership of a tree in L depends only on the presence or absence of some fix set of neighborhoods in the tree. In this paper we show that it is decidable whether a regular tree language is locally testable. The decidability is shown for ranked trees and for unranked unordered trees.

this paper presents a data envelopment analysis (dea) model combined with bootstrapping to assess performance of one of the data mining algorithms. we applied a two-step process for performance productivity analysis of insurance branches within a case study. first, using a dea model, the study analyzes the productivity of eighteen decision-making units (dmus). using a malmquist index, dea deter...

There has been surprisingly little research so far that systematically investigated the possibility of constructing hybrid learning algorithms by simple local modifications to decision tree learners. In this paper we analyze three variants of a C4.5-style learner, introducing alternative leaf models (Naive Bayes, IBI, and multi-response linear regression, respectively) which can replace the ori...

introduction: a fixed hemodynamic response function (hrf) is commonly used for functional magnetic resonance imaging (fmri) analysis. however, hrf may vary from region to region and subject to subject. we investigated the effect of locally estimated hrf (in functionally homogenous parcels) on activation detection sensitivity in a heroin cue reactivity study. methods: we proposed a novel explora...

The estimation of protein secondary structure from circular dichroism spectra is described by a multivariate linear model with noise (Gauss-Markoff model). With this formalism the adequacy of the linear model is investigated, paying special attention to the estimation of the error in the secondary structure estimates. It is shown that the linear model is only adequate for the alpha-helix class....

let be a locally compact non?abelian group and be a compact subgroup of also let be a ?invariant measure on the homogeneous space . in this article, we extend the linear operator as a bounded surjective linear operator for all ?spaces with . as an application of this extension, we show that each frame for determines a frame for and each frame for arises from a frame in via the linear operator .