2042 search results - page 320 / 409 » A Global Grid Model Based on |
CAV
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
MICCAI
2000
Springer
14 years 2 months ago
2000
Springer
In this paper, the problem of retrospective correction of intensity inhomogeneity in magnetic resonance (MR) images is addressed. A novel model-based correction method is proposed,...
3DOR
2008
14 years 1 months ago
2008
Mesh analysis and clustering have became important issues in order to improve the efficiency of common processing operations like compression, watermarking or simplification. In t...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
We focus on credal nets, which are graphical models that generalise Bayesian nets to imprecise probability. We replace the notion of strong independence commonly used in credal ne...
ANOR
2005
13 years 10 months ago
2005
In this paper we consider a game-theoretic dynamic model describing the exploitation of a renewable resource. Our model is based on a Cournot oligopoly game where n profit-maximizi...