5451 search results - page 1088 / 1091 » Typed Operational Semantics |
BMCBI
2011
13 years 2 months ago
2011
Background: In many environmental genomics applications a homologous region of DNA from a diverse sample is first amplified by PCR and then sequenced. The next generation sequenci...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
Time Series Data Server (TSDS) is a software package for implementing a server that provides fast supersetting, sub-setting, filtering, and uniform gridding of time series-like dat...
TC
2011
13 years 2 months ago
2011
—This paper considers the problem of dividing a two-word integer by a single-word integer, together with a few extensions and applications. Due to lack of efficient division ins...
IEEEHPCS
2010
13 years 2 months ago
2010
Intelligent sensor selection for monitoring operations is one of the serious subjects to reduce information processing time and increase information fusion accuracy. This paper at...