2748 search results - page 498 / 550 » Generating Object-Z Specifications from Use Cases |
150
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Graph coloring is...
141
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Liquid chromatography coupled to mass spectrometry (LC-MS) has become a prominent tool for the analysis of complex proteomics and metabolomics samples. In many applica...
128
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Microarrays were first developed to assess gene expression but are now also used to map protein-binding sites and to assess allelic variation between individuals. Rega...
168
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: In the Bioinformatics field, a great deal of interest has been given to Non-negative matrix factorization technique (NMF), due to its capability of providing new insig...
149
Voted
BMCBI
2004
15 years 3 months ago
2004
Background: Computer programs for the generation of multiple sequence alignments such as "Clustal W" allow detection of regions that are most conserved among many sequen...