313 search results - page 32 / 63 » Error Correction Based on Verification Techniques |
MICCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a robust and accurate atlas-based brain segmentation method which uses multiple initial structure segmentations to simultaneously drive the image registration ...
ISCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
—This paper introduces a technique to measure and adjust the relative phase of on-chip high speed digital signals using a random sampling technique of inferential statistics. The...
JSAC
2006
14 years 9 months ago
2006
Abstract--In this paper, we present an unequal power allocation technique to increase the throughput of code-division multiple-access (CDMA) systems with chip-level interleavers. P...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
84
Voted
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
The design of high performance multimedia systems in a short time force us to use IP's blocks in many designs. However, their correct integration in a design implies more com...