1855 search results - page 104 / 371 » Probabilistic Frame-Based Systems |
127
click to vote
MICCAI
2003
Springer
16 years 3 months ago
2003
Springer
Abstract. This paper proposes a statistical model of functional landmarks delimiting low level visual areas which are highly variable across individuals. Low level visual areas are...
116
click to vote
QEST
2009
IEEE
15 years 9 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
127
click to vote
CMSB
2009
Springer
15 years 9 months ago
2009
Springer
Systems of ordinary differential equations (ODEs) are often used to model the dynamics of complex biological pathways. We construct a discrete state model as a probabilistic appro...
102
click to vote
IVA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Basic communication and coordination mechanisms of human social interaction are assumed to be mediated by perception-action links. These links ground the observation and ...
131
Voted
QEST
2008
IEEE
15 years 9 months ago
2008
IEEE
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...