2116 search results - page 161 / 424 » On Probabilistic Alternating Simulations |
137
click to vote
NECO
1998
15 years 3 months ago
1998
We derive solutions for the problem of missing and noisy data in nonlinear timeseries prediction from a probabilistic point of view. We discuss different approximations to the so...
147
Voted
QEST
2010
IEEE
15 years 2 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
272
click to vote
ICC
2011
IEEE
14 years 3 months ago
2011
IEEE
—Ant colony optimization (ACO) is a probabilistic technique used for solving complex computational problems, such as finding optimal routes in networks. It has been proved to pe...
127
click to vote
SAMOS
2005
Springer
15 years 9 months ago
2005
Springer
Design space exploration plays an essential role in the system-level design of embedded systems. It is imperative therefore to have efficient and effective exploration tools in th...
132
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
—Variations of process parameters have an important impact on reliability and yield in deep sub micron IC technologies. One methodology to estimate the influence of these effects...