3760 search results - page 27 / 752 » Logic-Based Probabilistic Modeling |
119
click to vote
TAMC
2009
Springer
15 years 6 months ago
2009
Springer
Priced Probabilistic Timed Automata (PPTA) extend timed automata with cost-rates in locations and discrete probabilistic branching. The model is a natural combination of Priced Tim...
CONCUR
2001
Springer
15 years 4 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
IJCAI
2001
15 years 1 months ago
2001
ive probabilistic networks are qualitative abstractions of probabilistic networks, summarising probabilistic influences by qualitative signs. As qualitative networks model influen...
AAI
2002
14 years 11 months ago
2002
We present a probabilistic model to monitor a user's emotions and engagement during the interaction with educational games. We illustrate how our probabilistic model assesses...
BMCBI
2005
14 years 11 months ago
2005
Background: Probabilistic models for sequence comparison (such as hidden Markov models and pair hidden Markov models for proteins and mRNAs, or their context-free grammar counterp...