264 search results - page 10 / 53 » Stochastic Analysis of Qualitative Dynamics |
MICCAI
2002
Springer
14 years 8 months ago
2002
Springer
Abstract. A stochastic finite element method (SFEM) based framework is proposed for the simultaneous estimation of cardiac kinematics functions and material model parameters. While...
IWSSD
2000
IEEE
14 years 7 days ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
DSVIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
AI
2000
Springer
13 years 7 months ago
2000
Springer
Markov decisionprocesses(MDPs) haveproven to be popular models for decision-theoretic planning, but standard dynamic programming algorithms for solving MDPs rely on explicit, stat...
UAI
2000
13 years 9 months ago
2000
Many intelligent user interfaces employ application and user models to determine the user's preferences, goals and likely future actions. Such models require application anal...