748 search results - page 108 / 150 » Time and Probability in Process Algebra |
103
click to vote
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
112
click to vote
AAAI
2006
15 years 1 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
CASES
2003
ACM
15 years 5 months ago
2003
ACM
Accurate real-time speech recognition is not currently possible in the mobile embedded space where the need for natural voice interfaces is clearly important. The continuous natur...
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
We propose a General Markov Framework for computing page importance. Under the framework, a Markov Skeleton Process is used to model the random walk conducted by the web surfer on...
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present a learning procedure called probabilistic boosting network (PBN) for joint real-time object detection and pose estimation. Grounded on the law of total p...