1901 search results - page 89 / 381 » Predicting Program Properties from |
SCAM
2007
IEEE
15 years 5 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
104
click to vote
VSTTE
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
BMCBI
2006
14 years 11 months ago
2006
Background: ESTs are a tremendous resource for determining the exon-intron structures of genes, but even extensive EST sequencing tends to leave many exons and genes untouched. Ge...
76
Voted
BMCBI
2004
14 years 11 months ago
2004
Background: The wealth of information on protein structure has led to a variety of statistical analyses of the role played by individual amino acid types in the protein fold. In p...
104
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: To further understand the implementation of hyperparameters re-estimation technique in Bayesian hierarchical model, we added two more prior assumptions over the weight...