3742 search results - page 310 / 749 » On the Use of Formal Techniques for Validation |
152
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we present an efficient methodology to validate high performance algorithms and prototype them using reconfigurable hardware. We follow a strict topdown Hardware/So...
179
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
In this paper, we introduce a new image descriptor for broad Image Categorization, the Progressive Randomization (PR), that uses perturbations on the values of the Least Significa...
178
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
We present a 3D segmentation technique of trabecular (cancellous) bones in CT images of Vertebral bodies (VBs). In order to be used for Bone Mineral Density (BMD) measurements, th...
163
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Run-time reconfigurable logic is a very attractive alterative in the design of SoC. However, configuration overhead can largely decrease the system performance. In this work, we p...
217
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The modeling of dynamic systems requires estimating kinetic parameters from experimentally measured time-courses. Conventional global optimization methods used for par...