13917 search results - page 231 / 2784 » Abstraction of Probabilistic Systems |
188
click to vote
FORMATS
2006
Springer
15 years 11 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
253
click to vote
CCGRID
2008
IEEE
15 years 9 months ago
2008
IEEE
Production grids are complex and highly variable systems whose behavior is not well understood and difficult to anticipate. The goal of this study is to estimate the impact of the ...
218
click to vote
IPM
2007
15 years 7 months ago
2007
A recommender system has an obvious appeal in an environment where the amount of on-line information vastly outstrips any individual’s capability to survey. Music recommendation...
192
click to vote
IFIP
2003
Springer
16 years 12 days ago
2003
Springer
Efficient communication in Bluetooth scatternets requires design of intra and inter-piconet scheduling algorithms, and therefore numerous algorithms have been proposed. However, du...
208
click to vote
ISD
1999
Springer
15 years 11 months ago
1999
Springer
One of the primary methods of studying change in the natural and man-made environment is that of comparison of multi-date maps and images of the earth's surface. Such comparis...