39 search results - page 1 / 8 » A probabilistic analysis of a greedy algorithm arising from ... |
SODA
2001
ACM
13 years 6 months ago
2001
ACM
CMSB
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
RECOMB
2003
Springer
14 years 5 months ago
2003
Springer
Genetic linkage analysis is a challenging application which requires Bayesian networks consisting of thousands of vertices. Consequently, computing the likelihood of data, which i...
Lecture Notes
"This course will consist of a number of major sections. The first will be a short review of some preliminary material, including asymptotics, summations, and recurrences and ...
JCB
2006
13 years 4 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...