4962 search results - page 545 / 993 » Stochastic Model Checking |
101
click to vote
WSC
2008
15 years 7 months ago
2008
Life cycle cost is an essential approach to decide on alternative rehabilitation strategies for infrastructure systems. Monte Carlo simulation approach is used to develop a stocha...
129
click to vote
IJCAI
2007
15 years 6 months ago
2007
Motivated by applications such as the spread of epidemics and the propagation of influence in social networks, we propose a formal model for analyzing the dynamics of such networ...
119
click to vote
WSC
2001
15 years 6 months ago
2001
As the semiconductor industry moves into the next millennium, companies increasingly will be faced with production obstacles that impede their ability to remain competitive. Effec...
153
click to vote
AAAI
2000
15 years 6 months ago
2000
Intelligent user interfaces often rely on modified applications and detailed application models. Such modifications and models are expensive to build and maintain. We propose to a...
127
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
Subspace tracking methods are widespread in signal and image processing. To reduce the influence of perturbations or outliers on the measurements, some authors have used a stocha...