757 search results - page 122 / 152 » Monte Carlo Model Checking |
163
Voted
MMAS
2011
Springer
14 years 9 months ago
2011
Springer
While existing mathematical descriptions can accurately account for phenomena at microscopic scales (e.g. molecular dynamics), these are often high-dimensional, stochastic and thei...
138
click to vote
KDD
2004
ACM
16 years 3 months ago
2004
ACM
We propose a new unsupervised learning technique for extracting information from large text collections. We model documents as if they were generated by a two-stage stochastic pro...
109
Voted
AAAI
2006
15 years 4 months ago
2006
Model counting is the classical problem of computing the number of solutions of a given propositional formula. It vastly generalizes the NP-complete problem of propositional satis...
121
Voted
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
Bio-inspired ad hoc routing is an active area of research. The designers of these algorithms predominantly evaluate the performance of their protocols with the help of simulation ...
125
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Non-coding DNA sequences comprise a very large proportion of the total genomic content of mammals, most other vertebrates, many invertebrates, and most plants. Unravel...