Sciweavers

922 search results - page 89 / 185
» A generalization of the Lin-Zhao theorem
Sort
View
BIRTHDAY
2006
Springer
14 years 1 months ago
Proving Behavioral Refinements of COL-specifications
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
Michel Bidoit, Rolf Hennicker
BIOCOMP
2008
13 years 11 months ago
Analysis of Microarray Titration Experiments
In this paper we introduce a novel approach for the analysis of microarray titration experiments. The test introduced here can be used more generally for drug-dosage effect or time...
Ionut Bebu, Françoise Seillier-Moiseiwitsch...
FLAIRS
2004
13 years 11 months ago
Spatiotemporal Novelty Detection Using Resonance Networks
We present a single-layer recurrent neural network that implements novelty detection for spatiotemporal patterns. The architecture is based on the structure of region CA3 in the h...
Benjamin A. Rowland, Anthony S. Maida
NIPS
2003
13 years 11 months ago
No Unbiased Estimator of the Variance of K-Fold Cross-Validation
Most machine learning researchers perform quantitative experiments to estimate generalization error and compare algorithm performances. In order to draw statistically convincing c...
Yoshua Bengio, Yves Grandvalet
APAL
2006
70views more  APAL 2006»
13 years 10 months ago
On the Hamkins approximation property
We give a short proof of a lemma which generalizes both the main lemma from the original construction in the author's thesis of a model with no 2-Aronszajn trees, and also th...
William J. Mitchell