42 search results - page 9 / 9 » Building Verification Condition Generators by Compositional ... |
DASFAA
2004
IEEE
14 years 1 months ago
2004
IEEE
Text classification using a small labeled set and a large unlabeled data is seen as a promising technique to reduce the labor-intensive and time consuming effort of labeling traini...
BMCBI
2005
13 years 9 months ago
2005
Background: General protein evolution models help determine the baseline expectations for the evolution of sequences, and they have been extensively useful in sequence analysis an...