2869 search results - page 143 / 574 » The Inference Problem: A Survey |
155
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Within the peer-reviewed literature, associations between two things are not always recognized until commonalities between them become apparent. These commonalities ca...
123
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...
155
click to vote
ISDA
2008
IEEE
15 years 10 months ago
2008
IEEE
Gene network reconstruction is a multidisciplinary research area involving data mining, machine learning, statistics, ontologies and others. Reconstructed gene network allows us t...
135
click to vote
ICFP
1999
ACM
15 years 8 months ago
1999
ACM
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
112
click to vote
KDD
2010
ACM
15 years 6 months ago
2010
ACM
Information diffusion and virus propagation are fundamental processes talking place in networks. While it is often possible to directly observe when nodes become infected, observi...