4762 search results - page 257 / 953 » About the use of protein models |
184
click to vote
BIBE
2005
IEEE
16 years 7 days ago
2005
IEEE
We address the issue of providing highly informative annotations using information revealed by the structured vocabularies of Gene Ontology (GO). For a target, a set of candidate ...
150
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
We have used comparative genome analyses to produce annotated maps for large genomic loci. The first example is a locus on mouse chromosome 9 that is syntenic to human chromosome ...
184
click to vote
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
Existing sequence mining algorithms mostly focus on mining for subsequences. However, a large class of applications, such as biological DNA and protein motif mining, require effici...
179
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
160
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
Abstract We argue that in the decision making process required for selecting assertible vague descriptions of an object, it is practical that communicating agents adopt an epistemi...