Sciweavers

9888 search results - page 342 / 1978
» compute 2009
Sort
View
ARITH
2009
IEEE
16 years 2 months ago
IEEE 754-2008 Decimal Floating-Point for Intel
A brief description is provided of the decimal floating-point support available for Intel® Architecture processors, compliant with the IEEE Standard 754-2008 for Floating-Point A...
Marius Cornea
SAC
2009
ACM
16 years 2 months ago
HIVSetSubtype: software for subtype classification of HIV-1 sequences
An automated web based tool for assigning HIV-1 pure and recombinant subtypes within unaligned sequences is presented. The system combines the BLAST search algorithm and the recom...
Luciano Vieira de Araújo, Sabri S. Sanabani...
SAC
2009
ACM
16 years 2 months ago
The sum-of-increments constraint in the consecutive-ones matrix decomposition problem
The combinatorial problem of decomposing an integer matrix into a small positive linear combination of binary matrices that have the consecutive-ones property arises in cancer rad...
Sebastian Brand
SAC
2009
ACM
16 years 2 months ago
Keeping diversity when exploring dynamic environments
This paper presents a new exploration mechanism based on a heterogeneous multi-agent system that combines attractive and repulsive agents. We provide experimental results about th...
Jose Luis Fernandez-Marquez, Josep Lluís Ar...
FOSSACS
2009
Springer
16 years 2 months ago
Minimal Cost Reachability/Coverability in Priced Timed Petri Nets
Abstract. We extend discrete-timed Petri nets with a cost model that assigns token storage costs to places and firing costs to transitions, and study the minimal cost reachability...
Parosh Aziz Abdulla, Richard Mayr