1517 search results - page 222 / 304 » On automatic knowledge validation for Bayesian knowledge bas... |
ICCAD
2006
IEEE
14 years 5 months ago
2006
IEEE
— For 65nm and below devices, even after optical proximity correction (OPC), the gate may still be non-rectangular. There are several limited works on the device and circuit char...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— The quality of communications in mobile ad-hoc networks is largely determined by the topological stability. Characterizing the mobility of mobile nodes (e.g. how often they mov...
MEDINFO
2007
13 years 10 months ago
2007
The need for inter-terminology mapping is constantly increasing with the growth in the volume of electronically captured biomedical data and the demand to re-use the same data for...
JLP
2006
13 years 9 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
CCIA
2009
Springer
13 years 6 months ago
2009
Springer
Object segmentation is a challenging and important problem in computer vision. The difficulties to obtain accurate segmentations using only the traditional Topdown or Bottom-up ap...