3820 search results - page 611 / 764 » Bounded Model Debugging |
112
click to vote
ICML
2009
IEEE
16 years 3 months ago
2009
IEEE
We consider the exploration/exploitation problem in reinforcement learning (RL). The Bayesian approach to model-based RL offers an elegant solution to this problem, by considering...
116
click to vote
ICML
2007
IEEE
16 years 3 months ago
2007
IEEE
In supervised learning, we commonly assume that training and test data are sampled from the same distribution. However, this assumption can be violated in practice and then standa...
116
click to vote
ICML
2004
IEEE
16 years 3 months ago
2004
IEEE
A standard method for approximating averages in probabilistic models is to construct a Markov chain in the product space of the random variables with the desired equilibrium distr...
132
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
107
click to vote
ISBI
2004
IEEE
16 years 3 months ago
2004
IEEE
We provide approximate expressions for the covariance matrix of kinetic parameter estimators based on time activity curve (TAC) reconstructions when TACs are modeled as a linear c...