The present invention relates to video compression. In particular, the invention relates to coding of an estimated motion field and to generating motion information in a video sequence.
Motion compensated prediction is a key element of the majority of video coding schemes. To describe the operation of motion compensated prediction it should be appreciated that each digital image contains certain set of pixels corresponding to certain parts of the image. Each pixel may be represented, for example, as intensities of Red, Green and Blue (RGB color system) or as intensities of the luminance and two chrominance components.
En(x, y)=In(x, y)−În(x, y) (1)
The prediction frame În(x, y) is constructed by the motion compensated prediction block 1 and is built using pixel values of the previous, or some other already coded frame denoted Ĩref(x, y), called a reference frame, and the motion vectors of pixels between the current frame and the reference frame. Motion vectors are calculated by the motion field estimation block 2 and the resulting vector field is then coded in some way before being provided as an input to the prediction block 1. The prediction frame is then:
În(x, y)=Ĩref[x+{tilde over (Δ)}x(x, y), y+{tilde over (Δ)}y(x, y)] (2)
{tilde over (Δ)}x(x, y) and {tilde over (Δ)}y(x, y) are the values of horizontal and vertical displacement of pixel in location (x, y) and the pair of numbers [{tilde over (Δ)}x(x, y), {tilde over (Δ)}y(x, y) ] is called the motion vector of that pixel. The set of motion vectors of all pixels in the current frame In(x, y) is called a motion vector field. The coded motion vector field is transmitted as motion information to the decoder together with encoded prediction error information.
In the decoder, shown in
The general object of motion compensated (MC) prediction is to minimize amount of information which needs to be transmitted to the decoder together with the amount of prediction error measured, e.g., as the energy of En(x, y).
The document H. Nguen, E. Dubois, “Representation of motion information for image coding”. Proc. Picture Coding Symposium '90, Cambridge, Mass., Mar. 26–18, 1990, pages 841–845, gives a review of motion field coding techniques. As a rule of thumb, reduction of prediction error requires a more sophisticated motion field model, that is, more bits must be used for its encoding. Therefore, the overall goal of video encoding is to encode the motion vector field as compactly as possible while keeping the measure of prediction error as low as possible.
The motion field estimation block 2, shown in
Due to the very large number of pixels in the frame, it is not efficient to transmit a separate motion vector for each pixel. Instead, in most video coding schemes, the current frame is divided into larger image segments so that all motion vectors of the segment can be described by few parameters. Image segments may be square blocks, for example, 16×16 and 8×8 pixel blocks are used in codecs in accordance with international standards ISO/IEC MPEG-1, MPEG-2, MPEG-4 or ITU-T H.261 and H.263, or they may comprise arbitrarily shaped regions obtained for instance by a segmentation algorithm. In practice, segments include at least few tens of pixels.
In order to compactly represent the motion vectors of the pixels in a segment, it is desirable that the motion vectors are described by a function of few parameters. Such a function is called a motion vector field model. A known group of models is linear motion model, in which motion vectors are represented by linear combinations of motion field basis functions. In such models, the motion vectors of image segments are described by a general formula:
where parameters ci are called motion coefficients and are transmitted to the decoder. In general, the motion model for a segment is based on N+M motion coefficients. Functions fi(x, y) are called motion field basis functions which and are known both to the encoder and decoder. Known motion field estimation techniques vary both in terms of the model used to represent the motion field and in the algorithm for minimization of a chosen measure of the prediction error.
Both the amount and the complexity of the motion varies between frames and between segments. In one case some of the content of the image may be rotated, skewed and shifted from one side of the image to the opposite side of the image. On the other hand, in another case a video camera may turn slowly about its vertical axis so that all the pixels move slightly in horizontal plane. Therefore, it is not efficient to always use all N+M motion coefficients per segment.
One way to reduce motion information is simply to reduce the number of motion coefficients from the motion field model that models the motion of pixels' locations from one image to another. However, the prediction error tends to increases, as the motion field model becomes coarser.
For every segment, it is necessary to determine the minimum number of motion coefficients that yields a satisfactorily low prediction error. The process of such adaptive selection of motion coefficients is called motion coefficient removal. This process is performed in the encoder by the motion field coding block 3, see
In future, digital video transmission will be possible between wireless mobile terminals. Usually such terminals have limited space for additional components and operate by a battery so that they are likely not accommodate computing capacity comparable to fixed devices such as desktop computers. Therefore, it is crucial that the motion field coding performed in a video coder is computationally simple so that it does not impose an excessive burden on the processor of the device. Additionally, the encoded motion field model should be computationally simple to facilitate later decoding at a decoder in a receiving (mobile) terminal.
Methods for performing motion estimation with different models and selecting the most suitable one are proposed in the documents H. Nicolas and C. Labit, “Region-based motion estimation using deterministic relaxation schemes for image sequence coding,” Proc. 1994 International Conference on Acoustics, Speech and Signal Processing, pp. III265–268 and P. Cicconi and H. Nicolas, “Efficient region-based motion estimation and symmetry oriented segmentation for image sequence coding,” IEEE Tran. on Circuits and Systems for Video Technology, Vol. 4, No. 3, June 1994, pp. 357–364. The methods attempt to adapt the motion model depending on the complexity of the motion by performing motion estimation with different models and selecting the most suitable one. The main disadvantage of these methods is their high computational complexity and the small number of different motion field models that can be tested in practice.
Yet another method is described in WO97/16025. A video codec includes a motion field coder for minimizing the number of motion coefficients of a motion vector field. In the coder, a first block includes means for forming a new matrix representation of the motion vector field. The new coded motion vector field is linear. A second main block includes means for merging pairs of adjacent segments if the combined segment area can be predicted using a common motion field. Merging information is transmitted to a decoder. A third main block includes means for removing motion field basis functions. After each removing step, the squared prediction error is calculated and removing is continued until the magnitude of the error is not acceptable. Final motion coefficients are calculated by solving a linear matrix equation. As a result, reduced number of motion coefficients for each segment is obtained. The motion coefficients are transmitted to the decoder. This approach allows removal of motion coefficients until a certain threshold of prediction error is reached.
However, there is still a need to further reduce the complexity of the motion encoding process as well as the amount of motion information that needs to be sent to the decoder while causing minimal deterioration in the quality of a decoded image.
An objective of the present invention is to reduce the amount of motion field vector information produced by the motion field estimation block 2 by a large factor without deteriorating the decoded image to a significant extent. Another objective is to keep the complexity of the motion field coder low to allow practical implementation using available signal processors or general-purpose microprocessors.
The invention is defined by the appended claims.
By taking advantage of the predicted motion coefficients in a Motion Analyzer that forms part of the motion field coder of a video encoder, a better rate-distortion performance is achieved than with prior known solutions.
Furthermore, a motion coefficient removal block can be used to compute a plurality of alternate combinations of motion coefficients to be used for further optimization of the rate-distortion performance. Preferably, the motion coefficient removal block is adapted to implement certain cost function to find a combination with which the ultimate rate-distortion will be optimized.
In the following, an overview of the invention is provided to facilitate the further description of various embodiments of the invention.
In accordance with a preferred embodiment of the invention, the motion field coder of a video encoder comprises two main blocks.
The first main block is called a Motion Analyzer 32,
The Motion Coefficient Removal block 34 inputs the diagonal matrix Rk and the auxiliary vector zk produced by the Motion Analyzer block. Motion vectors of a segment are represented by a number of motion coefficients. For each of the segments, the motion coefficient removal block determines if it is possible to simplify the motion field model without causing an excessive increase in reconstruction error. Typically, some basis functions are removed from the motion model, whereby fewer coefficients are required to describe such a simplified motion field model.
The Motion Coefficient Removal block 34 modifies matrix equations involving the diagonal matrix Rk by removing one column of the diagonal matrix Rk and triangularizing the new system. As a result, there is one motion coefficient less in the equations and one term is removed from the vector zk. This operation corresponds to removal of one basis function from the motion field model. In order to determine a motion field model which optimizes a selected prediction error measure, or cost function, these operations are repeated until there are no basis functions remaining in the motion field model. Every time a basis function is removed, a new set of motion coefficients is evaluated by solving the matrix equations. This may be done by using any of the well known algorithms, for example, backsubstitution. The final set of motion parameters, i.e. chosen to represent the motion of a particular segment, is the one minimizing the cost function. Preferably, the cost function is a weighted sum of a measure of prediction error and a measure of information required for decoding the image.
For every processed segment, the Motion Coefficient Removal block 34 outputs selection information that defines the basis functions removed from the motion field model. Additionally, it outputs new motion coefficients corresponding to the remaining basis functions. Both the selection information and the new motion coefficients are transmitted to the decoder.
The output of the video encoder contains a compressed frame divided into segments defined by motion coefficients for a segment Sk, which consists of P pixels with coordinates (xi, yi), i=1,2, . . . P. The task of the Motion Field Coder is to find the motion coefficients {tilde over (c)}=({tilde over (c)}1,{tilde over (c)}2, . . . , {tilde over (c)}N+M) of a compressed motion vector field [{tilde over (Δ)}x(·),{tilde over (Δ)}y(·)] where the motion vectors are described by a linear motion model, the field being of the form:
such that it minimizes a selected cost function, e.g. the Lagrangian cost:
L(Sk)=D(Sk)+λR(Sk) (5)
Where the distortion D(Sk) is the square error between the original and the coded segment. The rate R(Sk) is equal to the number of bits needed to code the segment and parameter λ is a predefined coefficient defining the trade-off between the quality of the coded segment and the number of bits required for the compression of the segment.
To fulfill this task, the Motion Field Coder 3 comprises two main blocks, which are the Motion Analyzer block 32 and the Motion Coefficient Removal block 34. The objective of the Motion Analyzer 32 is to find a new representation of the motion field. This new representation is used later, in the Motion Coefficient Removal block 34, to find motion coefficients for a given image segment in a fast and flexible manner. The Motion Coefficient Removal block 34 reduces the amount of motion information used to describe the motion field of a segment, which results in increase of the square prediction error, defined as
The operation of the Motion Analyzer 32 is next described in detail referring to
Step 1: Linearization of the error, block 42. In this step the reference frame Ĩref(·) in formula (6) is approximated using some known approximation method so that its dependency on [Δx(x, y), Δy(x, y)] becomes linear. Then the elements under the sum in formula (6) become a linear combination of motion coefficients ci
Step 2: Construction of matrices, block 43. Minimization of formula (7) is fully equivalent to minimization of the matrix expression (Ekck−Yk)T(Ekck−yk) or solving the following equation:
Akck=dk (8)
where Ak=EkTEk and dk=EkTyk. The vector yk is built in block 46.
Step 3: Triangularization and creation of output, block 44. In this step equation (8) is triangularized using a known method to decompose Ak into a product of a lower diagonal matrix RkT and its transpose Rk
Ak=RkTRk (10)
This may be carried out using Cholesky decomposition.
An auxiliary vector zk0 is created solving
RkTzk0=dk (11)
for example, using backsubstitution. The vector of motion coefficients ck minimizing the formula (7) is now the unknown vector in the diagonal system
Rkck=zk0 (12)
and can be solved when needed, for example, by using backsubstitution.
The motion coefficients ck can be given as sums of predicted motion coefficients pk and refinement motion coefficients rk. The predicted motion coefficients are predicted from previously generated motion coefficients and the refinement motion coefficients correspond to the difference between the predicted motion coefficients and motion coefficients calculated in the Motion Field estimation block (
Rk(rk+pk)=zk0 (13)
and, an output vector zk is created by calculating
zk=zk0−Rkpk (14)
Block 47 forms the term zk0 and block 45 generates the term Rkpk. The output of the following Motion Coefficient Removal block 34 becomes refinement motion coefficients instead of absolute motion coefficients. Otherwise output vector zk=zk0.
Motion Coefficient Removal block 34 receives as input matrix Rk and vector zk produced by the Motion Analyzer block 32. Motion vectors of every segment are represented by N+M motion coefficients.
For a given segment Sk, the Motion Coefficient Removal block determines if it is possible to simplify the motion field model, without excessively increasing the selected error measure. A simplified motion field model is obtained when some basis functions are removed from the model in equations (3) described in the background art of this application. Fewer coefficients are required to describe such a simplified motion field model.
The following iterative procedure is performed in order to find the optimal motion vector field.
Step A: Initial cost calculation. A Lagrangian cost for the segment is evaluated with the full motion model and stored together with the full set of motion coefficients.
Step B: Finding the basis function with the smallest impact on prediction quality. Let Rkn denote an n×n upper diagonal characteristic matrix with n basis functions remaining and Rkn,i the same matrix with the i'th column removed. n sets of equations are generated each with the i'th column removed from the matrix Rkn and the i'th element removed form the vector ckn:
Rkn,ickn,i=zkn, i=1, . . . n (15)
All the equations generated are triangularized in a known manner by applying a series of multiplications of rows by scalars followed by additions of the rows, i.e., equation (15) is converted to the form:
Where (qi)2 is an approximation of the increase in the square prediction error due to removing the i'th basis function from the motion model. The column yielding the smallest (qi)2 when removed is the one to be removed during this iteration, effectively causing the i'th basis function to be removed from the motion model.
Step C: Removing a basis function from the model. A new matrix equation is built by selecting matrix Rkn,i and vector zkn,i associated with the basis function to be removed and removing the last row of the matrix and the last element of the vector as follows:
Step D: Coefficient calculation. A new set of motion coefficients for the reduced set of basis functions is calculated by solving the triangular system:
Rkn−1ckn−1=zkn−1 (18)
e.g. by backsubstitution.
Step E: Cost calculation. A Lagrangian cost for the segment is evaluated and stored together with the set of motion parameters if this model is the best one so far.
Step F: Final motion model selection. If there are still basis functions to be removed, steps B to E are repeated. If all the basis functions have been removed from the model, the output is generated. The output comprises selection information, describing which basis functions should be removed from motion field model, together with new motion coefficients corresponding to the remaining basis functions. Both selection information and motion coefficients are transmitted to the decoder.
The main advantage of the present invention over prior art solutions is its ability to reduce the amount of motion information by a large factor without causing a large increase in reconstruction error. Additionally, the complexity of the overall system is low which allows practical implementation on available signal processors or general-purpose microprocessors.
The Motion Coefficient Removal block is a very powerful tool for instantaneous adaptation of the motion model to the actual amount and type of motion in the video scene. This block can be used to test a large number of motion models, with or without motion parameter prediction. A strong advantage of this scheme is that it does not need to repeat the process of motion estimation when changing motion model and hence it is computationally simple.
By using motion estimation followed by Motion Analyzer the motion field coder can find new motion coefficients for any desired model of the motion field by solving computationally a very simple systems of linear equations.
In the preferred embodiment, an orthonormalized affine motion vector field model with 6 coefficients is used. In practice, this model can handle with a high degree of accuracy even very complex motion in video sequences and yields good prediction results.
The affine motion vector field is a motion model that can be used to approximate motion vectors with a set of motion coefficients. The affine motion model allows description of various types of motion, including translational, rotational, zooming and skewing movements. It comprises 6 basis functions, in which case, the motion vectors may be substantially replaced by a sum involving six basis functions multiplied by motion coefficients, each motion coefficient computed for one particular basis function. The basis functions themselves are known to both the encoder and decoder.
In the Motion Analyzer block 32, linearization in step 1 is performed using Taylor expansion of the reference frame Ĩref(x, y) at every pixel (xi, yi) where i=1,2, . . . , P (P being the number of pixels in the segment) around points:
x′i=xi+Δx(xi, yi)
y′i=yi+Δy(xi, yi) (19)
Using the property that Σa2=Σ(−a)2, the prediction error is then
Auxiliary values gj(x, y) are calculated using the formula:
where functions fj(xi, yi) are basis function as defined in equation (4). Matrix Ek and vector yk in equation (9) are built using formulae:
Gx(x, y) and Gy(x, y) are values of the horizontal and vertical gradient of the reference frame Ĩref(x, y) calculated using the derivative of the well known cubic spline interpolation function.
Matrix Ak is factorized using Cholesky decomposition and the system in formula (15) is triangularized using a sequence of Givens rotations.
Motion coefficients for new motion models are calculated by solving equation (18) using a backsubstitution algorithm.
The pixel values of Ĩref(x, y), Gx(x, y) and Gy(x, y) are defined only for integer coordinates of x and y. When x or y are non-integers the pixel value is calculated using cubic spline interpolation using integer pixel values in the vicinity of x and y.
The system can be implemented in a variety of ways without departing from the spirit and scope of the invention. For instance:
This Application is a continuation of U.S. patent application Ser. No. 09/371,641 filed on 11 Aug. 1999 now U.S. Pat. No. 6,735,249, which is a continuation of U.S. patent application Ser No. 09/489,327 filed on 21 Jan. 2000.
| Number | Name | Date | Kind |
|---|---|---|---|
| 5557341 | Weiss et al. | Sep 1996 | A |
| 5778192 | Schuster et al. | Jul 1998 | A |
| 6122320 | Bellifemine et al. | Sep 2000 | A |
| 6163575 | Nieweglowski et al. | Dec 2000 | A |
| 6212235 | Nieweglowski et al. | Apr 2001 | B1 |
| 6418166 | Wu et al. | Jul 2002 | B1 |
| 6507617 | Karczewicz et al. | Jan 2003 | B1 |
| Number | Date | Country |
|---|---|---|
| 0691789 | Jan 1996 | EP |
| 0874526 | Oct 1998 | EP |
| 2 329 783 | Mar 1999 | GB |
| WO97160025 | May 1997 | WO |
| WO9740628 | Oct 1997 | WO |
| Number | Date | Country | |
|---|---|---|---|
| 20040258155 A1 | Dec 2004 | US |
| Number | Date | Country | |
|---|---|---|---|
| Parent | 09371641 | Aug 1999 | US |
| Child | 10795083 | US | |
| Parent | 09489327 | Jan 2000 | US |
| Child | 09371641 | US |