3677 search results - page 52 / 736 » Is a probabilistic modeling |
183
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
154
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
As we move from deep submicron technology to nanotechnology for device manufacture, the need for defect-tolerant architectures is gaining importance. This is because, at the nanos...
199
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. There is currently a large interest in probabilistic logical models. A popular algorithm for approximate probabilistic inference with such models is Gibbs sampling. From ...
164
click to vote
AIPS
2004
15 years 8 months ago
2004
Symbolic non-deterministic planning represents action effects as sets of possible next states. In this paper, we move toward a more probabilistic uncertainty model by distinguishi...
176
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
A probabilistic scheduling model for software projects is presented. The model explicitly takes a scheduling strategy as input. When the scheduling strategy is fixed, the model ou...