757 search results - page 62 / 152 » Monte Carlo Model Checking |
128
click to vote
ETT
2002
15 years 2 months ago
2002
A method of rare event simulation, termed here quantum simulation, and known also (with some variations) as population Monte Carlo, and Sequential Markov Chain simulation, is appli...
106
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
This paper studies a variational Bayesian unmixing algorithm for hyperspectral images based on the standard linear mixing model. Each pixel of the image is modeled as a linear com...
134
click to vote
TABLEAUX
2009
Springer
15 years 9 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
112
Voted
EVOW
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Many efforts have been involved in association study of quantitative phenotypes and expressed genes. The key issue is how to efficiently identify phenotype-associated gen...
121
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: With the explosion in data generated using microarray technology by different investigators working on similar experiments, it is of interest to combine results across...