4276 search results - page 668 / 856 » Techniques for Empirical Validation |
166
click to vote
VLSI
2007
Springer
16 years 15 days ago
2007
Springer
— Software simulation remains the most used method for VHDL RTL functional verification. The functional verification process essentially consists of two parts. The first one is t...
168
click to vote
WABI
2007
Springer
16 years 15 days ago
2007
Springer
In this paper we introduce a new method of combined synthesis and inference of biological signal transduction networks. A main idea of our method lies in representing observed cau...
143
click to vote
WABI
2007
Springer
16 years 15 days ago
2007
Springer
In comparing genomic maps, it is often difficult to distinguish mapping errors and incorrectly resolved paralogies from genuine rearrangements of the genomes. A solution to this ...
158
click to vote
3DPVT
2006
IEEE
16 years 14 days ago
2006
IEEE
We introduce a new method for filling holes in geometry obtained from 3D range scanners. Our method makes use of 2D images of the areas where geometric data is missing. The 2D im...
162
click to vote
CBMS
2006
IEEE
16 years 14 days ago
2006
IEEE
There currently is no clinically accepted noninvasive technique for detecting moderate blood loss. Clinicians instead normally rely on lagging indicators such as blood pressure an...