88
- 1 - Super-Resolution Reconstruction of Images - Static and Dynamic Paradigms February 2002 Michael Elad* The Scientific Computing and Computational Mathematics Program - Stanford * Joint work with Prof. Arie Feuer – The Technion, Haifa Israel, Prof. Yacob Hel-Or – IDC, Herzelia, Israel, Tamir Sagi - Zapex- Israel.

Super-Resolution Reconstruction of Images - Static and Dynamic Paradigms

  • Upload
    newton

  • View
    31

  • Download
    0

Embed Size (px)

DESCRIPTION

Super-Resolution Reconstruction of Images - Static and Dynamic Paradigms. February 2002. Michael Elad* The Scientific Computing and Computational Mathematics Program - Stanford. - PowerPoint PPT Presentation

Citation preview

Page 1: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 1 -

Super-Resolution Reconstruction of Images - Static and Dynamic

ParadigmsFebruary 2002

Michael Elad*The Scientific Computing and Computational

Mathematics Program - Stanford

* Joint work with Prof. Arie Feuer – The Technion, Haifa Israel, Prof. Yacob Hel-Or – IDC,

Herzelia, Israel, Tamir Sagi - Zapex-Israel.

Page 2: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 2 -

Static Versus Dynamic Super-Resolution

Definitions and Activity Map

Page 3: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 3 -

Basic Super-Resolution Idea Given: A set of degraded (warped, blurred, decimated, noised) images:

Required: Fusion of the measurements into a

higher resolution image/s

Page 4: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 4 -

Static Super-Resolution (SSR)

Static Super-Resolution

Algorithm

N321 Y,,Y,Y,YfX

1Y

X

2Y NY

Low Resolution Measurements

High Resolution Reconstructed Image

t

3Y

Page 5: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 5 -

Dynamic Super-Resolution (DSR)Low Resolution Measurements

High Resolution Reconstructed Images

,1tY,tYftX

ttY

ttX

Dynamic Super-Resolution

Algorithm

t

t

Page 6: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 6 -

Other Work In this FieldPeople Place Years

Peleg, Irani, Werman, Keren, Schweitzer HUJI 1987-1994

Kim, Bose, Valenzuela Penn. State 1990-1993

Patti, Tekalp, Zesan, Ozkan, Altunbasak Rochester 1992-1998

Morris, Cheeseman, Smelyanskiy, Maluf NASA-AMES 1992-2002

Ur & Gross TAUI 1992-1993

Elad, Feuer, Sagi, Hel-Or Technion 1995-2001

Schutlz, Stevenson, Borman Notre-Dame 1995-1999

Shekarforush, Berthod, Zerubia, Werman INRIA-France 1995-1999

Katsaggelos, Tom, Galatsanos Northwestern 1995-1999

Shah, Zachor Berkeley 1996-1999

Nguyen, Milanfar, Golub Stanford 1998-2001

Baker, Kanade CMU 1999-2001

* This table probably does mis-justice to someone - no harm meant

Methods which relate also to DSR paradigm. All others deal with SSR.

Page 7: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 7 -

Our Work In this Field M. Elad and A. Feuer, “Restoration of Single Super-Resolution Image From Several Blurred, Noisy

and Down-Sampled Measured Images”, the IEEE Trans. on Image Processing, Vol. 6, no. 12, pp. 1646-58, December 1997.  

M. Elad and A. Feuer, “Super-Resolution Restoration of Continuous Image Sequence - Adaptive Filtering Approach”, the IEEE Trans. on Image Processing, Vol. 8. no. 3, pp. 387-395, March 1999. 

M. Elad and A. Feuer, “Super-Resolution reconstruction of Continuous Image Sequence”, the IEEE Trans. On Pattern Analysis and Machine Intelligence (PAMI), Vol. 21, no. 9, pp. 817-834, September 1999.

M. Elad and Y. Hel-Or, “A Fast Super-Resolution Reconstruction Algorithm for Pure Translational Motion and Common Space Invariant Blur”, Accepted to the IEEE Trans. on Image Processing, March 2001.

T. Sagi, A. Feuer and M. Elad, “The Periodic Step Gradient Descent Algorithm - General Analysis and Application to the Super-Resolution Reconstruction Problem”, EUSIPCO 1998. 

All found in http://sccm.stanford.edu/~elad

Page 8: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 8 -

Super-Resolution Basics

Intuition and Relation to Sampling theorems

Page 9: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 9 -

Simple Example

D

For a given band-limited image, the Nyquist sampling theorem states that if a uniform sampling is fine enough (D), perfect reconstruction is possible.

D

Page 10: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 10 -

Simple Example

Due to our limited camera resolution, we sample using an insufficient 2D grid

2D

2D

Page 11: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 11 -

However, we are allowed to take a second picture and so, shifting the camera ‘slightly to the right’ we obtain

Simple Example

2D

2D

Page 12: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 12 -

Simple Example

Similarly, by shifting down we get a third image

2D

2D

Page 13: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 13 -

And finally, by shifting down and to the right we get the fourth image

2D

2D

Simple Example

Page 14: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 14 -

Simple Example - Conclusion

It is trivial to see that interlacing the four images, we get that the desired resolution is obtained, and thus perfect reconstruction is guaranteed.

This is Super-Resolution in its simplest form

Page 15: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 15 -

Uncontrolled Displacements

In the previous example we counted on exact movement of the camera by D in each direction.

What if the camera displacement is uncontrolled?

Page 16: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 16 -

Uncontrolled Displacements

It turns out that there is a sampling theorem due to Yen (1956) and Papulis (1977) covering this case, guaranteeing perfect reconstruction for periodic uniform sampling if the sampling density is high enough (1 sample per each D-by-D square).

Page 17: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 17 -

Uncontrolled Rotation/Scale/Disp.

In the previous examples we restricted the camera to move horizontally/vertically parallel to the photograph object.

What if the camera rotates? Gets closer to the object (zoom)?

Page 18: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 18 -

Uncontrolled Rotation/Scale/Disp.

There is no sampling theorem covering this case

Page 19: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 19 -

Further Complications

2. Motion may include perspective warp, local motion, etc.

1. Sampling is not a point operation – there is a blur

3. Samples may be noisy – any reconstruction process must take that into account.

Page 20: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 20 -

Static Super-Resolution

The creation of a single improved image, from the finite measured

sequence of images

Page 21: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 21 -

SSR - The Model

N

1k

1kkkkkkk ,0~V ,VXY

WNFHD

X

High-Resolution

ImageH

H

Blur

1

N

F =I1

FN

Geometric Warp

D

D1

N

Decimation

V1

VN

Additive Noise

Y1

YN

Low-Resolution

Images

Page 22: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 22 -

The Warp As a Linear Operation

F[j,i]=1

X Z

Per every point in X

find a matching point in Z

N

j

1

N

j

1

z

z

z

1

1

1

x

x

x

00

Page 23: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 23 -

Model Assumptions

We assume that the images Yk and the operators Hk, Dk, Fk,& Wk are known to us, and we use them for the recovery of X.Yk – The measured images (noisy, blurry, down-sampled ..)

Hk – The blur can be extracted from the camera characteristics

Dk – The decimation is dictated by the required resolution ratio

Fk – The warp can be estimated using motion estimation

Wk – The noise covariance can be extracted from the camera

characteristics

Page 24: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 24 -

N

1k

1kkkkkkk ,0~V ,VXY

WNFHD

The Model as One Equation

1

N

2

1

N

2

1

N

2

1

NNN

222

111

N

2

1

,0~

V

VV

V

VV

X

Y

YY

W

WW

N

FHD

FHDFHD

00

Page 25: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 25 -

A Thumb Rule on Desired Resolution

X

Y

YY

NNN

222

111

N

2

1

FHD

FHDFHD

In the noiseless case

we have

Clearly, this linear system of equations should have more equations than unknowns in order to make it possible to have a unique Least-Squares solution.

Example: Assume that we have N images of M-by-M pixels, and we would like to produce an image X of size L-by-L. Then – MNL

Page 26: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 26 -

X

High-Resolution

ImageH

H

Blur

1

N

F =I1

FN

Geometric Warp

D

D1

N

Decimation

V1

VN

Additive Noise

Y1

YN

Low-Resolution

Images

The Maximum-Likelihood Approach

Which X would be such that when fed to the above system it yields a set Yk closest to the measured images?

Page 27: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 27 -

SSR - ML Reconstruction (LS)

N

1k

2kkkk

2ML

kXY X

WFHDMinimize:

N

1kkk

Tk

Tk

Tk

N

1kkkkk

Tk

Tk

Tk

YP WDHF

FHDWDHFR

PXR

0X

X2ML

Thus, require:

Page 28: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 28 -

SSR - MAP ReconstructionAdd a term which penalizes for

the solution image quality

XAXY XN

1k

2kkkk

2MAP

k

WFHD

1. - simple spatially adaptive,

2. - M estimator (robust functions),

XXXXA 0TT SWS

XXA S

Possible Prior functions - Examples:

Note: Convex prior guarantees convex programming problem

Page 29: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 29 -

Iterative Reconstruction XXXA TT WSSAssuming the prior is used

N

1kkk

Tk

Tk

Tk

N

1k

Tkkkk

Tk

Tk

Tk

YP WDHF

WSSFHDWDHFR

PXRFor , the matrix R is sparse 10001000:X

66 1010 MR

OPTION: Using the SD algorithm (10-15 iterations are enough)

j

N

1k

Tjkkkkk

Tk

Tk

Tkj1j XXYXX

WSSFHDWDHF

Page 30: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 30 -

Simulated error

Weighted edges

Back projection

Image-Based Processing

All the above operations can be interpreted as operations performed on images.

AND THUS

There is no actual need to use the Matrix-Vector notations as shown here. This notations is

important for the development of the algorithm

j

N

1k

Tjkkkkk

Tk

Tk

Tkj1j XXYXX

WSSFHDWDHFSD* Iteration:

* Also true for the Conjugate Gradient algorithm

Page 31: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 31 -

X

H

H

1

N

F =I1

FN D

D1

N

V1

VN

Y1

YN

1N NT T T T T T T

kk k k k k k k k k k kk 1 k 1

X Y

F H D W D H F S WS F H D W

SSR – Simpler Problems

Page 32: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 32 -

SSR – Simpler Problems

Single image de-noising

Single image restoration

Single image scaling

Motion compensation average

VXY

N1kkkk VXY F

VXY D

VXY H

YIX1T

WSS

YX T1TT HWSSHH

YX T1TT DWSSDD

N

1kk

Tk

1T

N

1kk

Tk YX FWSSFF

XXXA TT WSSUsing

Page 33: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 33 -

Example 1

Synthetic case:

From a single image create 9 3:1 images this way

Page 34: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 34 -

Example 1

The higher resolution original

One of the low-resolution

images

The reconstructed

result

Synthetic case:

9 images, no blur, 1:3 ratio

Page 35: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 35 -

16 images, ratio 1:2, PSF - assumed to be Gaussian with =2.5

Example 2

Taken from

one of the

given images

Taken from the reconstructed result

Page 36: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 36 -

Dynamic Super-Resolution

Low Quality Movie In – High Quality Movie Out

Page 37: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 37 -

Dynamic Super-Resolution (DSR)Low Resolution Measurements

High Resolution Reconstructed Images

,1tY,tYftX

ttY

ttX

Dynamic Super-Resolution

Algorithm

t

t

Page 38: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 38 -

Modeling the ProblemLow Resolution Measurements

High Resolution Reconstructed Images

ttY

ttX

t

t

k,tN)t(X)k,t(ktY M ?

Bypass

Page 39: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 39 -

DSR – Proposed Model

k,tN)t(X)k,t(ktY M

1t

0k

1k

t1t1ktk,t~and

10where,,0~)k,t(N

k,tNtXk,t~ktY

FFFF

WN

FDH

Page 40: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 40 -

DSR – From Model to ML The DSR problem is referred to as a long sequence of SSR

problems.

Thus, Our model is

Using ML approach

and this function should be minimized per each t.

t 1 22 k

k 0

X t , t Y t k t, k X t

WDHF

1t

0k

1k

t1t1ktk,t~and

10where,,0~)k,t(N

k,tNtXk,t~ktY

FFFF

WN

FDH

Page 41: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 41 -

Solving the ML

t 1 22 k

k 0

X t , t Y t k t, k X t

WDHFMinimizing

amounts to solving the linear set of equations

where

tZ)t(Xt L

t 1 Tk

k 0

t 1 Tk

k 0

(t) t, k t, k

Z(t) t, k Y t k

L DHF W DHF

DHF W

Note that (apart from the need to solve the linear set), one has to compute L and Z per each t all over again, and the summations length grow linearly in t.

Page 42: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 42 -

tY1tZttZ

t1tttTT

TT

WHF

WHHFLFL

Recursive Representation

t 1 Tk

k 0

t 1 Tk

k 0

(t) t, k t, k

Z(t) t, k Y t k

L DHF W DHF

DHF W

Simplifies to (Using ) t, k t k 1 t 1 t F F F F

Page 43: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 43 -

Alternative Approach Instead of continuing with the previous model and

recursive representation, we adopt a different point of view.

The new point of view is based on State-Space modeling of our problems

This new model leads to better-understanding of the required algorithmic steps towards an efficient solution.

The eventual expressions with the alternative method are exactly the same as the ones shown previously.

Bypass

Page 44: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 44 -

DSR - The Model (1)

G(t)X(t-1)

V(t)

X(t)

Delay

tV1tXttX G

X(t) - High-resolution imageG(t) - Warp operation V(t) - Sequence innovation assumed t,0~ 1-QN

The System’s Equation

Page 45: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 45 -

H(t) DX(t)

N(t)Y(t)

tUtN

tXt

0tY

SDH

Y(t) - Measured imageH(t) - BlurD - DecimationN(t) - additive noise

S - Laplacian U(t) - Non-smooth.

t,0~ 1-WN

t,0~ 1-RN

The Measurements Equation

DSR - The Model (2)

U(t)

S - Laplacian0

Page 46: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 46 -

DSR - The Model (3)

tUtN

tXt

0tY

&tV1tXttX

SDH

G

These two equations form a Spatio-Temporal Prior

forcing spatial smoothness & temporal motion compensated smoothness

Page 47: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 47 -

DSR - Reconstruction By KF

In order to estimate X(t) in time, we need to apply

Kalman Filter (KF)

t,0~tAN

t,0~tVwheretNtXttY

tV1tXttX

1

1

AAA

WNQN

HG

The model is given in a State-Space form

The basic idea: 1. Since all the inputs are Gaussians, so is X(t)

2. We know all about X(t) if its two first moments

are known - tˆ,tX~tX PN

Page 48: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 48 -

KF: Mean-Covariance Pair

1tˆ,1tX P1. We start by knowing the pair

tV1tXttX G

1tXttX~

tt1tˆtt~ 1T

G

QGPGP

2. Based on we get the Prediction Equations:

tNtXttY AAA H

tYtttX~t~tˆtX

tttt~tˆ

AATA

1

1AA

TA

1

WHPP

HWHPP

3. Based on we get the

Update Equations:

Page 49: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 49 -

KF: Information Pair tˆ,tXtˆtˆ,tZ 11 PPLInformation pair is defined by

The recursive equations become:

Presumably, there is nothing to gain in using the information pair, over the mean-covariance pair

tYtttZ~tZ

tttt~tˆ

AATA

AATA

WH

HWHLL

Interpolation:

Update:

1tZ1tˆtt~tZ~

tt1tˆtt~

1

11T1

LGL

QGLGL

Page 50: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 50 -

Information Pair Is Better !!(for our application)

1. Experimental results indicate that the information matrix is sparser: -1

=

2. We intend to avoid the use of Q(t). Therefore, it is natural to achieve simplifying the equation

while approximating Q(t).

11T1 tt1tˆtt~ QGLGL

Page 51: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 51 -

Avoiding Q(t)

Instead of using

Approximate

and obtain that

11T1 tt1tˆtt~ QGLGL

t1tˆttt T11 GLGQ

tt1 FG t1tˆtt1

1t~ T FLFL

tYtt1tZtttZ

tttt1tˆtttˆ

AATA

T

AATA

T

WHF

HWHFLFL

Page 52: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 52 -

The Pseudo-RLS Algorithm

tYtt1tZtttZ

tttt1tˆtttˆ

AATA

T

AATA

T

WHF

HWHFLFL

00X,00Z,0ˆ 2 IL1. Initialize:

2. For t > 0,

Update the information pair

Compute the output by tZtˆtX 1L

Problem: Need to invert the information matrix

Page 53: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 53 -

The R-SD Algorithm 00X,00Z,0ˆ 2 IL1. Initialize:

2. For t > 0,

Update the information pair, as before

Compute the output by R-SD iterations:

and for k=1,2, … ,R:

1tXttX R0 G

tZtXtˆtXtX kk1k L

Adopted from the assumed model

Note: but error does not propagate

tZtˆtX 1R

L

Page 54: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 54 -

Low Resolution Measurements

High Resolution Reconstructed Images

1tX,tYftX

ttY

ttX

Dynamic Super-Resolution

Algorithm

t

t

Dynamic Super-Resolution

Page 55: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 55 -

The R-LMS Algorithm 00 X1. Initialize:

2. For t > 0,

Compute the output by R-SD iterations using the intermediate information pair:

and for k=1,2, … ,R:

0 Rˆ ˆX t t X t 1 G

Tk 1 k k AA A A

ˆ ˆ ˆX t X t t t t X t Y t H W H

Also obtained if or if is set to zero t

1R

ˆ ˆ ˆX t 1 t 1 Z t 1 L

Page 56: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 56 -

Under some very reasonable assumptions, it is PROVEN that

the the information matrix remains SPARSE

tt1tˆtttˆ T MFLFL

Density versus iterations - An Example

1 10 100

0.05

0.04

0.03

0.02

0.01

0.0

The Information Matrix

Page 57: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 57 -

Convergence Properties1. Bounds on the dynamic estimation error for the

proposed Kalman Filter approximations (the P-RLS, the R-SD and the R-LMS) are obtained.

2. An important role in these convergence theorems plays the term

which stands for the amount of variation (innovative data) that exists in the sequence. The higher this term, the higher is the expected error.

PRLS PRLSˆ ˆX t t X t 1 G

Page 58: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 58 -

Results - Part 1Dynamic Estimation Comparison - Low dimension (N=100)

synthetic case

1-LMS

3-SD

Pseudo-RLS

Kalman Filter

0 20 40 60 80 100

10

1

0.1

0.01

MSE versus iterations - A Comparison

Page 59: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 59 -

Higher dimension (N=2500) synthetic image sequencesResults - Part 2

Note: the motion and blur operations are assumed to be known apriori

1st 25th 50th 75th 100th

Measured sequence:3 by 3 uniform blurring, 2:1 decimation, noise .

The original sequence: Image size: 50 by 50

F

ED

C

BA

The 5-LMS algorithm's output, no regularization

Bilinear interpolation of the measured sequence

The 5-LMS algorithm's output, with regularization

The 5-SD algorithm's output, with regularization

5

Page 60: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 60 -

[Displacement+zoom] 1st 25th 50th 75th 100th

Sequence 1

Measurements

Bilinear Interpolation

5-LMS no Regularization

5-LMS + Regularization

5-SD + Regularization

1st 25th 50th 75th 100th

Page 61: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 61 -

Sequence 1

Measurements

Bilinear Interpolation

5-LMS no Regularization

5-LMS + Regularization

5-SD + Regularization

[Pure translation] 1st 25th 50th 75th 100th

Page 62: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 62 -

[Pure rotation]Sequence 1

Measurements

Bilinear Interpolation

5-LMS no Regularization

5-LMS + Regularization

5-SD + Regularization

1st 25th 50th 75th 100th

Page 63: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 63 -

Conclusions Both Static and Dynamic super-resolution paradigms are

presented, along with their solutions. Very simple yet general models are proposed for both

problems. The SSR problem is presented as a classic inverse problem,

and treated as such. The DSR problem is shown to require KF for its solution.

Due to the dimensions involved, approximations are developed and analyzed.

Simulations show promising results, both for the SSR and the DSR.

Motion estimation is a bottleneck in the recovery processes.

Page 64: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 64 -

Fast SSR (1) - A Special Case

What if the same camera is used and the motion is pure

translational?

Page 65: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 65 -

SSR - The Model

N

1k

1kkkkkkk ,0~V ,VXY

WNFHD

X

High-Resolution

ImageH

H

Blur

1

N

F =I1

FN

Geometric Warp

D

D1

N

Decimation

V1

VN

Additive Noise

Y1

YN

Low-Resolution

Images

Page 66: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 66 -

N

1k

1kkkkkkk ,0~V ,VXY

WNFHD

The Model as One Equation

1

N

2

1

N

2

1

N

2

1

NNN

222

111

N

2

1

,0~

V

VV

V

VV

X

Y

YY

W

WW

N

FHD

FHDFHD

00

Page 67: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 67 -

Iterative ReconstructionN

T T Tk k k k k k k

k 1

NT T T

kk k k kk 1

P Y

R F H D W D H F

F H D WPXR

For , the matrix R is sparse 10001000:X 66 1010 MR

OPTION: Using the SD algorithm (10-15 iterations are enough)N

T T Tj 1 j k jk k k k k k k

k 1

ˆ ˆ ˆX X Y X

F H D W D H F

Page 68: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 68 -

Basic AssumptionsHk=H – The blur operation is the same for all the images and

it is a linear-space-invariant operation, i.e., it has a block-Circulant form.

Dk=D – The decimation operation is the same for all the images and it is a uniform sub-sampling operator

Fk – The warps are all pure translations, and thus all have a block-Circulant form. More over, we assume a nearest-neighbor representation (one non-zero entry in each row and it is ‘1’)

Wk=cI– The noise is Gaussian and white and thus the covariance matrix is the identity matrix up to some constant

Page 69: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 69 -

NT T T

j 1 j k jk k k k k k kk 1

ˆ ˆ ˆX X Y X

F H D W D H F

Using the Iterative SD

N

1kjkk

TTk

Tj

N

1kjkk

TTTkj1j

XYX

XYXX

HDFDFH

DHFDHF

where we use the fact that

block-Circulant matrices commute

Page 70: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 70 -

R~P~

Define and getjj XZ H

Important Shortcut

NT T T

j 1 j k jk kk 1

N NT T T T T T

j k j j jk k kk 1 k 1

ˆ ˆ ˆZ Z Y Z

ˆ ˆ ˆ ˆZ Y Z Z P Z

HH F D DF

HH F D F D DF HH R

NT T T

j 1 j k jk kk 1

ˆ ˆ ˆX X Y X

H F D DF H

Page 71: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 71 -

Descent Direction - Theory

optj xx

In our case M=HHT (positive semi-definite). It means that the

error in the null space of M cannot converge.

Is it a Problem?

P~x~xx jj1j RM

optx

Any algorithm of the form

converges to for sufficiently small and M>0.

cxP~x~xxfTT

21 R Given the quadratic function* ,

P~x~opt R it’s optimal Solution satisfies .

* R is assumed to be positive definite

Page 72: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 72 -

Positive Semi-definite M

opt01j

opt1j

jj1j

xx~Ixx

P~x~xx

RM

RM

If v is in the null-space of M, then a vector

is in the null-space of . For such a vector we get

v~u 1R

RM~

uu~I1j

RM

Page 73: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 73 -

Positive Semi-definite M

001j

001j

1j1j fe~Ife~Ife

RMRM

00opt0 fexx

In the null-space of

Orthogonal to the null-space of

RM~

RM~

The null-space of is characterized by very high

frequencies (since M=HHT and H is a low-pass-filter).

Thus, no-convergence there is of no consequence, and this is

especially true if proper initialization is used.

RM~

Page 74: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 74 -

What is P ?

?DF

N

1kk

TTk YP~

Zero Interpolation

TD

Inverse Displacement

T1F

1Y

Zero Interpolation

TD

Inverse Displacement

TNFNY

P~

It turns out that this is a motion-compensated

average of the input images

Page 75: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 75 -

?DFDFR

N

1kk

TTk

~

A. This matrix is a diagonal matrix,

B. Its main diagonal entries are all integers,

C. The [j,j] entry represents the count of contributing pixels from the Y-sequence to the j-th pixel in X, and

D. We hereby assume that sufficient measurements are given and thus 1j,j~,j R

What is R ?Huge matrix, but due to our assumptions …

Page 76: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 76 -

To Conclude

jTj1j Z~P~ZZ RHH

P~~Z 1opt

R and it is easy to compute this solution – One division by integer per pixel !!!!

Having found , since it is defined by

We have to apply a classic image restoration procedure

to recover (can be done without iterations).

optZ

jj XZ H

optX

Page 77: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 77 -

Should We be Surprised ?

Every low-quality image fills some pixels in the higher resolution grid.

Some pixels will be filled more than once – good for noise removal

Page 78: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 78 -

Adaptive Non-Iterative Restoration YX T1TT HWSSHH

Using is edge preserving but not

space-invariant.

21Final XIXX WW

Thus, X1 and X2 can be computed using 2D-FFT. The final result should be obtained using a diagonal weight matrix W with values in the range [0,1] (1-edge, 0-smooth):

YX T1T1

T1 HSSHH

YX T1T2

T2 HSSHH

2opt1

Instead use

where .

Page 79: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 79 -

Fast SSR (2) - Periodic-Step SD

A numerical method to speed-up convergence

Page 80: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 80 -

N

1k

1kkkkkkk ,0~V ,VXY

WNFHD

Relation to Super-Resolution

1 11 1 1

2 22 2 2

N NN N N

VYVY

X

VY

D H FD H F

D H F

Page 81: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 81 -

Basic AssumptionsA sequence of measurements y(k) is obtained sequentially.

These measurements correspond linearly to an unknown vector x through knxkCky T

Ln

3n2n1n

x

LC

3C2C1C

Ly

3y2y1y

T

T

T

T

Page 82: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 82 -

Basic AssumptionsAssumption 1 – we have enough measurements, i.e., if we

write , then and C is full-rank.

If LS (ML) is applied, we get

Assumption 2 – x is high dimensional [N elements] and thus the above solution is practically impossible

NLM,nxy CC

yx.Minxyxf T1T2

2CCCC

Turn to iterative methods

NL

Page 83: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 83 -

Simple Iterative Method - SD

2 T

2

f xf x y x Min. y x

x

C C C

L

1jk

Tk

kT

k1k

xjC)j(yjCx

xyxx CC

Using the Steepest-Descend idea we get

So we see that the gradient is built from L separate contributions, each obtained from a different measurement

Page 84: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 84 -

L

1jk

Tk

kT

k1k

xjC)j(yjCx

xyxx CC

Decomposition of the Gradient

Page 85: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 85 -

Periodic-Step SD

L

1jk

Tk1k xjC)j(yjCxxInstead of using

update the estimate of x for each SCALAR measurement

j 1 j jL L L

Tk k kˆ ˆ ˆx x C j y( j) C j x

for k 0,1,2,3, ....and for each k, sweep j 1,2,3, ,L

Page 86: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 86 -

Related Work

This idea of breaking the gradient into several parts and updating the estimate after each of them is well-known, especially in cases where sequential measurements are obtained. Two such classic examples:

Neural Network training (see Bertsekas’s book)

Signal Processing (see LMS by Widrow et.al.)

In image restoration and super-resolution problems, we may consider updating our output image after every pixel in the measurements. The benefit is convergence speed-up.

Page 87: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 87 -

Analysis ResultsConvergence is guaranteed if

The convergence is to the LS optimal solution only if

Infitisimal step-size 0,

Diminishing step-size k0, or if

C is square.

In all other cases, the convergence is to a deviated solution.

In the SSR case, we are not interested in exact solution !!!!

Rate of convergence is dramatically improved (compared to SD, NSD, CG, Jacobi, GS, & SOR)

jCjC/2Min0 T

Lj1

Page 88: Super-Resolution Reconstruction  of Images - Static and Dynamic Paradigms

- 88 -

SSR - Simulation ResultsSYNTHETIC CASE

25 images were created from one 100-by-100 pixels image using •Motion - Affine, •Blur – 3-by-3 uniform, •Noise – Gaus. white =3.

These 25 images were fused to create a 200-by-200 pixels output.

This algorithm effectively converges after one iteration

Original Bilinear int.

LS result PSSD Result