1271 search results - page 3 / 255 » On Simulation-Checking with Sequential Systems |
DAC
2011
ACM
12 years 7 months ago
2011
ACM
Just as electronic systems implement computation in terms of voltage (energy per unit charge), molecular systems compute in terms of chemical concentrations (molecules per unit vo...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract-- This work focuses on decentralized decision making in a population of individuals each implementing the sequential probability ratio test. The individual decisions are c...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
This paper focuses on the development of a cost-aware Bayesian sequential decision-making strategy for the search and classification of multiple unknown objects over a given domain...
CORR
2012
Springer
12 years 3 months ago
2012
Springer
Latent force models (LFMs) are hybrid models combining mechanistic principles with non-parametric components. In this article, we shall show how LFMs can be equivalently formulate...
JMLR
2010
13 years 2 months ago
2010
We consider the problem of tactile discrimination, with the goal of estimating an underlying state parameter in a sequential setting. If the data is continuous and highdimensional...