4341 search results - page 321 / 869 » Quantitative Model checking |
113
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
We present a method for obtaining quantitative images from dual energy X-ray CT measurements. We adopt a statistical model for the data and reconstruct images by maximizing the lo...
132
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
—MOQA is a language specifically designed to facilitate average-case execution time analysis. It incorporates some innovative techniques to make this possible. Following on from...
165
Voted
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, ...
178
click to vote
SEDE
2007
15 years 8 months ago
2007
The ability to model the evolution of software technology trends is valuable to many stakeholders in industry, academia, and government. Yet we often depend exclusively on the opi...
202
click to vote
MVA
2000
15 years 8 months ago
2000
An algorithm is presented for 3-D reconstruction from optical flow observed by an uncalibrated camera. We show that by incorporating a statistical model of image noise, we can not...