714 search results - page 77 / 143 » Phase4: Automatic Evaluation of Database Search Methods |
111
click to vote
ICML
2005
IEEE
16 years 5 months ago
2005
IEEE
Many biological propositions can be supported by a variety of different types of evidence. It is often useful to collect together large numbers of such propositions, together with...
136
click to vote
AAAI
2010
15 years 5 months ago
2010
g Without a Heuristic: Efficient Use of Abstraction Bradford Larsen, Ethan Burns, Wheeler Ruml Department of Computer Science University of New Hampshire Durham, NH 03824 USA blars...
137
click to vote
JCB
2002
15 years 4 months ago
2002
We describe a new algorithm for protein classi cation and the detection of remote homologs. The rationale is to exploit both vertical and horizontal information of a multiple alig...
131
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Similarity inference, one of the main bioinformatics tasks, has to face an exponential growth of the biological data. A classical approach used to cope with this data ...
140
click to vote
RTA
2009
Springer
15 years 10 months ago
2009
Springer
Most techniques to automatically disprove termination of term rewrite systems search for a loop. Whereas a loop implies nontermination for full rewriting, this is not necessarily t...