4962 search results - page 602 / 993 » Stochastic Model Checking |
163
click to vote
RSA
2000
15 years 4 months ago
2000
We analyze various stochastic processes for generating permutations almost uniformly at random in distributed and parallel systems. All our protocols are simple, elegant and are b...
117
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
Statistical appearance models are valuable tools in medical image segmentation. Current methods elegantly incorporate global shape and appearance, but can not cope with local appe...
133
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
The visual appearance of an image is closely associated with its low-level features. Identifying the set of features that best characterizes the image is useful for tasks such as ...
148
Voted
MICCAI
2006
Springer
16 years 6 months ago
2006
Springer
This work studies limits on estimating the width of thin tubular structures in 3D images. Based on nonlinear estimation theory we analyze the minimal stochastic error of estimating...
158
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
In a dynamic social or biological environment, interactions between the underlying actors can undergo large and systematic changes. Each actor can assume multiple roles and their ...