757 search results - page 120 / 152 » Monte Carlo Model Checking |
106
click to vote
COMPLEX
2009
Springer
15 years 12 days ago
2009
Springer
Abstract. We investigate a spin model in which a ferromagnetic shortrange interaction competes with a long-range antiferromagnetic interaction decaying spatially as 1 rd+ , d being...
164
Voted
JSAC
2010
14 years 9 months ago
2010
Abstract--Sensor networks can benefit greatly from locationawareness, since it allows information gathered by the sensors to be tied to their physical locations. Ultra-wide bandwid...
166
Voted
ECCV
2002
Springer
16 years 4 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...
124
Voted
DNA
2005
Springer
15 years 8 months ago
2005
Springer
The first step of the Adleman-Lipton extract model in DNA computing is the combinatorial generation of libraries. In this paper a new method is proposed for generating a initial p...
135
click to vote
SAC
2002
ACM
15 years 2 months ago
2002
ACM
The theoretical price of a financial option is given by the expectation of its discounted expiry time payoff. The computation of this expectation depends on the density of the val...