280 search results - page 43 / 56 » Statistical Model Checking of Black-Box Probabilistic System... |
105
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
98
Voted
KDD
2010
ACM
14 years 10 months ago
2010
ACM
In an online rating system, raters assign ratings to objects contributed by other users. In addition, raters can develop trust and distrust on object contributors depending on a f...
117
Voted
ISBI
2009
IEEE
15 years 7 months ago
2009
IEEE
Biological shape modeling is an essential task that is required for systems biology efforts to simulate complex cell behaviors. Statistical learning methods have been used to buil...
106
Voted
CIKM
2001
Springer
15 years 5 months ago
2001
Springer
The language modeling approach to retrieval has been shown to perform well empirically. One advantage of this new approach is its statistical foundations. However, feedback, as on...
EUROPAR
2009
Springer
15 years 5 months ago
2009
Springer
Pilot-job systems have emerged as a computation paradigm to cope with heterogeneity of production grids, greatly improving fault ratios and latency. Tools like DIANE, WISDOM-II, To...