6014 search results - page 511 / 1203 » Structural Testing with Use Cases |
190
Voted
IFM
2007
Springer
16 years 27 days ago
2007
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
208
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Alternative splicing is a major contributor to the diversity of eukaryotic transcriptomes and proteomes. Currently, large scale detection of alternative splicing using...
163
click to vote
GECCO
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this work we have implemented and analyzed the performance of a new real coded steady-state genetic algorithm (SSGA) for the flexible ligand-receptor docking problem....
197
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
This paper proposes to use the Laplace-Beltrami spectrum (LBS) as a global shape descriptor for medical shape analysis, allowing for shape comparisons using minimal shape preproces...
177
click to vote
3DGIS
2006
Springer
16 years 11 days ago
2006
Springer
The extraction of the building models from remote-sensed data is an important work in the geographic information systems. This investigation describes an approach to integrate LIDA...