4962 search results - page 510 / 993 » Stochastic Model Checking |
129
click to vote
SODA
2010
ACM
16 years 2 months ago
2010
ACM
We study the computational complexity of some central analysis problems for One-Counter Markov Decision Processes (OC-MDPs), a class of finitely-presented, countable-state MDPs. O...
132
Voted
CAD
2005
Springer
15 years 4 months ago
2005
Springer
Heterogeneous structures represent an important new frontier for 21st century engineering. Human tissues, composites, `smart' and multimaterial objects are all physically man...
123
Voted
IPMI
2005
Springer
16 years 5 months ago
2005
Springer
Deformable template models, in which a shape model and its corresponding appearance model are deformed to optimally fit an object in the image, have proven successful in many medic...
146
click to vote
ICML
2008
IEEE
16 years 5 months ago
2008
IEEE
Exponential Family PSR (EFPSR) models capture stochastic dynamical systems by representing state as the parameters of an exponential family distribution over a shortterm window of...
116
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
— We present a continuous, stochastic model — the first of its kind — for the monetary flow in multi-level markets allowing for the quantitative assessment of the incentive...