1901 search results - page 206 / 381 » Predicting Program Properties from |
137
click to vote
COCOON
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We introduce a generic algorithmic technique and apply it on decision and counting versions of graph coloring. Our approach is based on the following idea: either a graph...
108
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The paper presents two complementary strategies for identifying errors in spreadsheet programs. The strategies presented are grounded on the assumption that spreadsheets are softw...
110
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: To develop protein therapeutics from exogenous sources, it is necessary to mitigate the risks of eliciting an anti-biotherapeutic immune response. A key aspect of the ...
112
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Selenocysteine and pyrrolysine are the 21st and 22nd amino acids, which are genetically encoded by stop codons. Since a number of microbial genomes have been completel...
133
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: The functional annotation of proteins relies on published information concerning their close and remote homologues in sequence databases. Evidence for remote sequence ...