Sciweavers

7393 search results - page 504 / 1479
» Synthesis-for-testability using transformations
Sort
View
SETN
2004
Springer
16 years 21 hour ago
Automated Medical Image Registration Using the Simulated Annealing Algorithm
This paper presents a robust, automated registration algorithm, which may be applied to several types of medical images, including CTs, MRIs, Xrays, Ultrasounds and dermatological ...
Ilias Maglogiannis, Elias P. Zafiropoulos
MICRO
1993
IEEE
131views Hardware» more  MICRO 1993»
15 years 10 months ago
Superblock formation using static program analysis
Compile-time code transformations which expose instruction-level parallelism (ILP) typically take into account the constraints imposed by all execution scenarios in the program. H...
Richard E. Hank, Scott A. Mahlke, Roger A. Bringma...
CAIP
2009
Springer
248views Image Analysis» more  CAIP 2009»
15 years 10 months ago
Rapid Inference of Object Rigidity and Reflectance Using Optic Flow
Abstract. Rigidity and reflectance are key object properties, important in their own rights, and they are key properties that stratify motion reconstruction algorithms. However, th...
Di Zang, Katja Doerschner, Paul R. Schrater
CAISE
2009
Springer
15 years 10 months ago
Defining and Using Schematic Correspondences for Automatically Generating Schema Mappings
Mapping specification has been recognised as a critical bottleneck to the large scale deployment of data integration systems. A mapping is a description using which data structured...
Lu Mao, Khalid Belhajjame, Norman W. Paton, Alvaro...
CHES
2006
Springer
117views Cryptology» more  CHES 2006»
15 years 10 months ago
High-Resolution Side-Channel Attack Using Phase-Based Waveform Matching
This paper describes high-resolution waveform matching based on a Phase-Only Correlation (POC) technique and its application for a side-channel attack. Such attacks, such as Simple...
Naofumi Homma, Sei Nagashima, Yuichi Imai, Takafum...