We prove the ‘oval conjecture’ for planar partition functions, which says that the shift plane and the translation plane defined by a planar partition function form an oval pair of planes in the sense that each non-vertical line of one plane defines a topological oval in the projective closure of the other. The proof uses covering space techniques, and we have to assume that the generating func...

In this paper we analysis monocular sport videos, digitized from old VHS tape, where players and camera are moving. It is very difficult to recover 3D information of the scene from these sequences, due to noisy measurements, low quality of the images, very small translation of the camera and almost no information concerning its parameters. Classic stereo algorithms are not always suitable and p...

Integer Linear Programming has recently been used for decoding in a number of probabilistic models in order to enforce global constraints. However, in certain applications, such as non-projective dependency parsing and machine translation, the complete formulation of the decoding problem as an integer linear program renders solving intractable. We present an approach which solves the problem in...

This correspondence investigates the asymptotic performance of Bayesian target recognition algorithms using deformable-template representations. Rigid computer-aided design (CAD) models represent the underlying targets; low-dimensional matrix Lie-groups (rotation and translation) extend them to particular instances. Remote sensors observing the targets are modeled as projective transformations,...

Prior constraints are imposed upon a learning problem in the form of distance measures. Prototypical 2-D point sets and graphs are learned by clustering with point matching and graph matching distance measures. The point matching distance measure is approx. invariant under affine transformations translation, rotation, scale and shear and permutations. It operates between noisy images with missi...

Gradient based motion estimation techniques (GM) are considered to be in the heart of state-of-the-art registration algorithms, being able to account for both pixel and subpixel registration and to handle various motion models (translation, rotation, affine, projective). These methods estimate the motion between two images using a first order Taylor expansion of the registered images. This pape...

let r be an associative ring with identity, c(r) be the category of com-plexes of r-modules and flat(c(r)) be the class of all at complexes of r-modules. we show that the at cotorsion theory (flat(c(r)); flat(c(r))−)have enough injectives in c(r). as an application, we prove that for each atcomplex f and each complex y of r-modules, exti (f,x)= 0, whenever ris n-perfect and i > n.

let $r$ be a commutative ring with identity and $m$ be a finitely generated unital $r$-module. in this paper, first we give necessary and sufficient conditions that a finitely generated module to be a multiplication module. moreover, we investigate some conditions which imply that the module $m$ is the direct sum of some cyclic modules and free modules. then some properties of fitting ideals of...