243 search results - page 21 / 49 » Coverage-biased Random Exploration of Models |
QEST
2007
IEEE
14 years 1 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
A Quasi-Monte-Carlo method based on the computation of a surrogate model of the fitness function is proposed, and its convergence at super-linear rate 3/2 is proved under rather ...
ISCAS
2003
IEEE
14 years 26 days ago
2003
IEEE
In this paper, we present a novel content-based image error detection and error concealment algorithm to improve the image quality degraded during its transmission over wireless c...
ICCAD
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper describes a probabilistic approach to state space search. The presented method applies a ranking of the design states according to their probability of reaching a given...
WSC
2004
13 years 9 months ago
2004
This paper establishes a two-phase model to explore the financial risk of construction project under uncertain construction duration. Treated as a random variable in the model, th...