We associate a CNF-formula to every instance of the mean-payoff game problem in such a way that if the value of the game is non-negative the formula is satisfiable, and if the value of the game is negative the formula has a polynomial-size refutation in Σ2-Frege (i.e. DNF-resolution). This reduces mean-payoff games to the weak automatizability of Σ2-Frege, and to the interpolation problem for Σ...

This paper presents the nearest neighbor value (NNV) algorithm for high resolution (H.R.) image interpolation. The difference between the proposed algorithm and conventional nearest neighbor algorithm is that the concept applied, to estimate the missing pixel value, is guided by the nearest value rather than the distance. In other words, the proposed concept selects one pixel, among four direct...

In this paper, we provide an integral error formula for a certain scale of mean value interpolations which includes the multivariate polynomial interpolation schemes of Kergin and Hakopian. This formula involves only derivatives of order one higher than the degree of the interpolating polynomial space, and from it we can obtain sharp L∞-estimates. These L∞-estimates are precisely those that num...

Consumer-level digital cameras observe a single value at each pixel. The remaining two channels of a three-channel image are reconstructed through a process called demosaicking. This paper describes a methodology for enhancing current demosaicking methods. Using an iterative relaxation approach from probabilistic AI literature, our empirical results show that we can improve the results of the s...

Preserving edge structures is a challenge to the image interpolation algorithms to reconstruct a high resolution image from a low resolution counterpart. We propose a new guide edge linear interpolation technique via address filter and data fusion. For a pixel to be interpolated, two sets of observation are defined in two orthogonal directions, and each set produces an estimated value of the pi...