4962 search results - page 339 / 993 » Stochastic Model Checking |
122
click to vote
EOR
2007
15 years 3 months ago
2007
Performance evaluation of complex systems is a critical issue and bounds computation provides confidence about service quality, reliability, etc. of such systems. The stochastic ...
134
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- In robot deployment problems, the fundamental issue is to optimize a steady state performance measure that depends on the spatial configuration of a group of robots. For...
175
click to vote
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
In this paper, we present a stochastic algorithm by effective Markov chain Monte Carlo (MCMC) for segmenting and reconstructing 3D scenes. The objective is to segment a range image...
190
Voted
CRV
2009
IEEE
15 years 10 months ago
2009
IEEE
The use of synthetic aperture radar (SAR) has become an integral part of sea-ice monitoring and analysis in the polar regions. An important task in sea-ice analysis is to segment ...
131
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Protein interactions support cell organization and mediate its response to any specific stimulus. Recent technological advances have produced large data-sets that aim ...