4962 search results - page 384 / 993 » Stochastic Model Checking |
151
Voted
TROB
2010
15 years 2 months ago
2010
—Robotic systems need to be able to plan control actions that are robust to the inherent uncertainty in the real world. This uncertainty arises due to uncertain state estimation,...
137
Voted
CCECE
2009
IEEE
15 years 10 months ago
2009
IEEE
The inverse diffusion problems deal with the estimation of many crucial parameters such as the diffusion coefficient, source properties, and boundary conditions. Such algorithms ...
115
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Character mapping on phylogenies has played an important, if not critical role, in our understanding of molecular, morphological, and behavioral evolution. Until very ...
125
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Existing work on programmable self assembly has focused on deterministic performance guarantees--stability of desirable states. In particular, for any acyclic target graph a binary...
165
Voted
SIAMREV
2010
14 years 10 months ago
2010
In this paper we propose and analyze a Stochastic-Collocation method to solve elliptic Partial Differential Equations with random coefficients and forcing terms (input data of the...