5109 search results - page 769 / 1022 » On Learning Limiting Programs |
160
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: There is an increasing demand to assemble and align large-scale biological sequence data sets. The commonly used multiple sequence alignment programs are still limited...
147
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: High-throughput genome biological experiments yield large and multifaceted datasets that require flexible and user-friendly analysis tools to facilitate their interpre...
158
click to vote
ASE
2005
15 years 4 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
137
click to vote
JSA
2000
15 years 4 months ago
2000
Integrating processors and main memory is a promising approach to increase system performance. Such integration provides very high memory bandwidth that can be exploited efficientl...
143
click to vote
SPE
1998
15 years 4 months ago
1998
This paper describes some basic experiments to see how fast various popular scripting and user-interface languages run on a spectrum of representative tasks. We found enormous var...