Sciweavers

7393 search results - page 15 / 1479
» Synthesis-for-testability using transformations
Sort
View
MAICS
2003
14 years 11 months ago
A Distributed Planning Approach Using Multiagent Goal Transformations
A multiagent goal transformation is defined as a directed alteration of goals by the agents in a multiagent system in order to adjust for lack of resources and/or lack of capabili...
Michael T. Cox, Mohammad M. Elahi, Kevin Cleereman
73
Voted
ICPR
2006
IEEE
15 years 10 months ago
Multimodal Registration using the Discrete Wavelet Frame Transform
Image registration is a critical step in medical image analysis. In this paper, a novel image registration method based on the discrete wavelet frame transform (DWFT) and the sum ...
Shutao Li, Jinglin Peng, James T. Kwok, Jing Zhang
BMVC
2001
15 years 1 days ago
SSD Matching Using Shift-Invariant Wavelet Transform
The conventional area-based stereo matching algorithm suffers from two problems, the windowing problem and computational cost. Multiple scale analysis has long been adopted in vis...
Fangmin Shi, Neil Rothwell Hughes, Geoff Roberts
ICIP
2005
IEEE
15 years 11 months ago
Image fusion using a new framework for complex wavelet transforms
Image fusion is the process of extracting meaningful visual information from two or more images and combinining them to form one fused image. Image fusion is important within many...
Paul R. Hill, David R. Bull, Cedric Nishan Canagar...
LOPSTR
1994
Springer
15 years 1 months ago
Using Call/Exit Analysis for Logic Program Transformation
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...
Dmitri Boulanger, Maurice Bruynooghe