Abstract. The paper addresses issues of knowledge markup with authoring tools in which users construct representations of their knowledge. It attempts to contribute to the problem by suggesting a meth...
In this paper, we propose a novel method to establish temporal correspondence between the frames of two videos. The 3D epipolar geometry is used to eliminate the distortion generated by the projection...
In this paper, we propose a novel method to establish temporal correspondence between the frames of two videos. The 3D epipolar geometry is used to eliminate the distortion generated by the projection...
Digital cinema (d-cinema) is the highest quality electronic motion imagery for entertainment. The cinema is presented in a theatrical environment, with high brightness projectors, high rate data trans...
The convergence of logic and visual languages is recognized as a promising approach for both the logic programming automation and enhancement of visual modeling/programming methods. The distinction of...
Introduction Let C be a code over q of length n and distance d = d(C): The (Hamming) distance distribution of the code is an (n + 1)-vector (A 0 = 1; A 1 ; : : : ; An ); where Aw = Aw (C) := (]C) jf(x...
The Andrews-Curtis conjecture claims that every balanced presentation of the trivial group can be reduced to the standard one by a sequence of \elementary transformations" which are Nielsen transforma...
The Andrews-Curtis conjecture claims that every balanced presentation of the trivial group can be reduced to the standard one by a sequence of \elementary transformations" which are Nielsen transforma...