280 search results - page 36 / 56 » Statistical Model Checking of Black-Box Probabilistic System... |
95
Voted
DGO
2008
15 years 1 months ago
2008
The Florida Public Hurricane Loss Model (FPHLM) developed in the State of Florida offers an open, public and effective tool for the government to regulate the insurance ratemaking...
106
Voted
SIGSOFT
2004
ACM
15 years 5 months ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
109
Voted
PVLDB
2008
14 years 12 months ago
2008
There has been a recent surge in work in probabilistic databases, propelled in large part by the huge increase in noisy data sources -from sensor data, experimental data, data fro...
111
Voted
3DPVT
2004
IEEE
15 years 4 months ago
2004
IEEE
In this paper the problem of building and reconstructing geometrical surface models from multiple calibrated images is considered. We build an appropriate statistical 3D model fro...
122
click to vote
ISAMI
2010
14 years 10 months ago
2010
Probabilistic models of languages are fundamental to understand and learn the profile of the subjacent code in order to estimate its entropy, enabling the verification and predicti...