Sciweavers

5699 search results - page 310 / 1140
» Alternating model trees
Sort
View
ESANN
2006
15 years 8 months ago
A Gaussian process latent variable model formulation of canonical correlation analysis
Abstract. We investigate a nonparametric model with which to visualize the relationship between two datasets. We base our model on Gaussian Process Latent Variable Models (GPLVM)[1...
Gayle Leen, Colin Fyfe
WSC
2004
15 years 8 months ago
Modeling Tool Failures in Semiconductor Fab Simulation
In this research, we investigate how well Weibull, Gamma, and special bimodal distribution are suited as an alternative to the exponential distribution approach in the stochastic ...
Oliver Rose
NIPS
1997
15 years 8 months ago
Statistical Models of Conditioning
Conditioning experiments probe the ways that animals make predictions about rewards and punishments and use those predictions to control their behavior. One standard model of cond...
Peter Dayan, Theresa Long
ENTCS
2010
108views more  ENTCS 2010»
15 years 4 months ago
Integrating Textual and Graphical Modelling Languages
Graphical diagrams are the main modelling constructs offered by the popular modelling language UML. Because textual representations of models also have their benefits, we investig...
Luc Engelen, Mark van den Brand
ICSE
2007
IEEE-ACM
16 years 7 months ago
Trio2Promela: A Model Checker for Temporal Metric Specifications
We present Trio2Promela, a tool for model checking metric temporal logic specifications written in the TRIO language. Our approach is based on the translation of formulae into Pro...
Domenico Bianculli, Angelo Morzenti, Matteo Pradel...