2072 search results - page 296 / 415 » Applications of Independent Component Analysis |
MODELS
2010
Springer
13 years 7 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
DSD
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Verification of application requirements is becoming a bottleneck in system-on-chip design, as the number of applications grows. Traditionally, the verification comple...
BMCBI
2007
13 years 9 months ago
2007
Background: Three dimensional biomedical image sets are becoming ubiquitous, along with the canonical atlases providing the necessary spatial context for analysis. To make full us...
CVPR
2004
IEEE
14 years 11 months ago
2004
IEEE
Stable local feature detection and representation is a fundamental component of many image registration and object recognition algorithms. Mikolajczyk and Schmid [14] recently eva...
WCRE
2009
IEEE
14 years 3 months ago
2009
IEEE
—For a long time, dynamic tracing has been an enabling technique for reverse engineering tools. Tracing can not only be used to record the control flow of a particular component...