757 search results - page 37 / 152 » Monte Carlo Model Checking |
JCC
2006
13 years 10 months ago
2006
If a macromolecule is described by curvilinear coordinates or rigid constraints are imposed, the equilibrium probability density that must be sampled in Monte Carlo simulations in...
CPHYSICS
2004
13 years 10 months ago
2004
The various aspects of plasma-edge physics are included in a comprehensive suite of codes having applications from industrial plasmas to fusion devices. Here the basic ideas, stat...
SIGMOD
2011
ACM
13 years 27 days ago
2011
ACM
In the database community, work on information extraction (IE) has centered on two themes: how to effectively manage IE tasks, and how to manage the uncertainties that arise in th...
DCOSS
2011
Springer
12 years 10 months ago
2011
Springer
—To overcome the limitations of specific positioning techniques for mobile wireless nodes and achieve a high accuracy, the fusion of heterogeneous sensor information is an appea...
JMLR
2010
13 years 4 months ago
2010
We propose a fully Bayesian approach for generalized kernel models (GKMs), which are extensions of generalized linear models in the feature space induced by a reproducing kernel. ...