Sciweavers

101 search results - page 2 / 21
» Structural Sampling for Statistical Software Testing
Sort
View
NIPS
2007
13 years 6 months ago
A Kernel Statistical Test of Independence
Although kernel measures of independence have been widely applied in machine learning (notably in kernel ICA), there is as yet no method to determine whether they have detected st...
Arthur Gretton, Kenji Fukumizu, Choon Hui Teo, Le ...
AAAI
1992
13 years 6 months ago
A Probabilistic Parser Applied to Software Testing Documents
We describe an approach to training a statistical parser from a bracketed corpus, and demonstrate its use in a software testing application that translates English speci cations i...
Mark A. Jones, Jason Eisner
BMCBI
2008
214views more  BMCBI 2008»
13 years 3 months ago
Enhanced Bayesian modelling in BAPS software for learning genetic structures of populations
Background: During the most recent decade many Bayesian statistical models and software for answering questions related to the genetic structure underlying population samples have...
Jukka Corander, Pekka Marttinen, Jukka Siré...
ISBI
2007
IEEE
13 years 11 months ago
Statistical Shape Analysis of Brain Structures Using Spherical Wavelets
We present a novel method of statistical surface-based morphometry based on the use of non-parametric permutation tests and a spherical wavelet (SWC) shape representation. As an a...
Delphine Nain, Martin Andreas Styner, Marc Nietham...
TOPNOC
2008
13 years 5 months ago
Model Driven Testing Based on Test History
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
Isaac Corro Ramos, Alessandro Di Bucchianico, Lusi...