3677 search results - page 24 / 736 » Is a probabilistic modeling |
120
click to vote
TCS
2010
14 years 6 months ago
2010
We are interested in describing timed systems that exhibit probabilistic behaviour. To this purpose, we consider a model of Probabilistic Timed Automata and introduce a concept of ...
ICCV
2003
IEEE
16 years 1 months ago
2003
IEEE
EMNLP
2007
15 years 1 months ago
2007
In this paper, we describe a new algorithm for recovering WH-trace empty nodes. Our approach combines a set of hand-written patterns together with a probabilistic model. Because t...
FOSSACS
2007
Springer
15 years 6 months ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
DAC
2008
ACM
16 years 24 days ago
2008
ACM
Multimedia-dominated consumer electronics devices (such as cellular phone, digital camera, etc.) operate under soft real-time constraints. Overly pessimistic worst-case execution ...