2167 search results - page 97 / 434 » Stochastic Process Algebras |
446
click to vote
Publication
In this paper, we present an automatic statistical approach for extracting 3D blood vessels from time-of-flight (TOF) magnetic resonance angiography (MRA) data. The voxels of the d...
196
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we propose ...
168
click to vote
WSC
1996
15 years 7 months ago
1996
Eight successively refined simulation models for the earthmoving operations involved in the construction of a dam provide the foundation for illustrating the ease and effectivenes...
182
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper we model and simulate a biological system describing the evolution of cancer stem cells into tumors. Starting from some basic hypotheses about the behavior of these ...
185
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
We propose an analytic moment-based filter for nonlinear stochastic dynamic systems modeled by Gaussian processes. Exact expressions for the expected value and the covariance matr...