Sciweavers

6800 search results - page 1147 / 1360
» Testing with Functions as Specifications
Sort
View
CSDA
2010
165views more  CSDA 2010»
13 years 8 months ago
A two-component Weibull mixture to model early and late mortality in a Bayesian framework
A two component parametric mixture is proposed to model survival after an invasive treatment, when patients may experience different hazards regimes: a risk of early mortality dir...
Alessio Farcomeni, Alessandra Nardi
CSSC
2008
77views more  CSSC 2008»
13 years 8 months ago
Undercoverage of Wavelet-Based Resampling Confidence Intervals
The decorrelating property of the discrete wavelet transformation (DWT) appears valuable because one can avoid estimating the correlation structure in the original data space by b...
Liansheng Tang, Wayne A. Woodward, William R. Schu...
IAJIT
2008
127views more  IAJIT 2008»
13 years 8 months ago
A Customized Particle Swarm Optimization for Classification of Multispectral Imagery Based on Feature Fusion
: An attempt has been made in this paper to classify multispectral images using customized particle swam optimization. To reduce the time consumption due to increase in dimensional...
Venkatalakshmi Krishnan, Anisha Praisy, Mercy Shal...
ECEASST
2006
305views more  ECEASST 2006»
13 years 8 months ago
The ParMol Package for Frequent Subgraph Mining
Mining for frequent subgraphs in a graph database has become a popular topic in the last years. Algorithms to solve this problem are used in chemoinformatics to find common molecul...
Thorsten Meinl, Marc Wörlein, Olga Urzova, In...
ENTCS
2006
90views more  ENTCS 2006»
13 years 8 months ago
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...
Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. ...
« Prev « First page 1147 / 1360 Last » Next »