Sciweavers

914 search results - page 133 / 183
» Mean Shift Analysis and Applications
Sort
View
ENTCS
2008
96views more  ENTCS 2008»
13 years 10 months ago
Maude as a Platform for Designing and Implementing Deep Inference Systems
Deep inference is a proof theoretical methodology that generalizes the traditional notion of inference in the sequent calculus: in contrast to the sequent calculus, the deductive ...
Ozan Kahramanogullari
CORR
2006
Springer
146views Education» more  CORR 2006»
13 years 10 months ago
The Haar Wavelet Transform of a Dendrogram
While there is a very long tradition of approximating a data array by projecting row or column vectors into a lower dimensional subspace the direct approximation of a data matrix ...
Fionn Murtagh
ENTCS
2007
101views more  ENTCS 2007»
13 years 10 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
MOR
2010
91views more  MOR 2010»
13 years 8 months ago
Bounding Probability of Small Deviation: A Fourth Moment Approach
In this paper we study the problem of bounding the value of the probability distribution function of a random variable X at E[X] + a where a is a small quantity in comparison with...
Simai He, Jiawei Zhang, Shuzhong Zhang
CSDA
2006
84views more  CSDA 2006»
13 years 10 months ago
Performing hypothesis tests on the shape of functional data
We explore different approaches for performing hypothesis tests on the shape of a mean function by developing general methodologies both, for the often assumed, i.i.d. error struc...
Gareth M. James, Ashish Sood