2036 search results - page 300 / 408 » From Sampling to Model Counting |
125
click to vote
BSL
2004
15 years 2 months ago
2004
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
124
click to vote
NAR
1998
15 years 2 months ago
1998
Pfam contains multiple alignments and hidden Markov model based profiles (HMM-profiles) of complete protein domains. The definition of domain boundaries, family members and alignm...
129
Voted
RE
2002
Springer
15 years 2 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
147
Voted
JMLR
2010
14 years 9 months ago
2010
The FastInf C++ library is designed to perform memory and time efficient approximate inference in large-scale discrete undirected graphical models. The focus of the library is pro...
102
click to vote
JMLR
2010
14 years 9 months ago
2010
Reliable estimation of the classification performance of learned predictive models is difficult, when working in the small sample setting. When dealing with biological data it is ...