We prove a variant of Läuchli’s completeness theorem for intuitionistic predicate calculus. The formulation of the result relies on the observation (due to Lawvere) that Läuchli’s theorem is related to the logic of the canonical indexing of the atomic topos of Z-sets. We show that the process that transforms Kripke-counter-models into Läuchli-counter-models is (essentially) the inverse image of...

This paper presents a geometric constrained transformation approach for fast acoustic adaptation, which improves the modeling resolution of the conventional Maximum Likelihood Linear Regression (MLLR). For this approach, the underlying geometry difference between the seed and the target spaces is exposed and quantified, and used as a prior knowledge to reconstruct refiner transforms. Ignoring d...

0167-8655/$ see front matter 2011 Elsevier B.V. A doi:10.1016/j.patrec.2011.05.014 ⇑ Corresponding author. E-mail addresses: [email protected] (M cinvestav.mx (E. Bayro-Corrochano). This paper presents the application of 2D and 3D Hough Transforms together with conformal geometric algebra to build 3D geometric maps using the geometric entities of lines and planes. Among several existing ...

In image processing wavelet transform methods are known to provide efficient schemes for detecting edges and reducing noise. However, they are unable to differentiate between noise and small details and therefore remove the small details resulting in the formation of oscillations around edges. Methods based on isotropic nonlinear equations have been used to enhance edges in images and to reduce...

We consider the problem of reconstmcting a continuous function on R" from certain values of its spherical means. A novel aspect of our approach is the use of geometric inversion to recast the inverse spherical mean problem as an inverse Radon transform problem. W define WO spherical mean inverse problems the entire problem and the causal problem. We then present a dual filtered backprojection a...

A low bit rate video coding technique that uses spatio-temporal geometric transforms is presented. Motion compensation based on the bilinear transform is employed to reduce the temporal redundancy of the video. The spatial redundancy of the motion compensated error images is reduced by a combination of Fractal and DCT. It is shown that in the objects boundaries of the motion compensated error i...

A New Geometric-and-Physics Model of Milling and An Effective Approach to Medial Axis Transforms of Free-form Pockets for High Performance Machining Qiang Fu, Ph.D. Concordia University, 2010 Mechanical part quality and productivity depend on many parameters in CNC milling processes, such as workpiece material, cutters, tool paths, feed rate, and spindle speed, etc. To pursue high performance m...

Haptic-assisted virtual assembly and prototyping has seen significant attention over the past two decades. However, in spite of the appealing prospects, its adoption has been slower than expected. We identify the main roadblocks as the inherent geometric complexities faced when assembling objects of arbitrary shape, and the computation time limitation imposed by the notorious 1 kHz haptic refre...

This paper is devoted to a systematic study of certain geometric integral inequalities which arise in continuum combinatorial approaches $L^p$-improving for Radon-like transforms over polynomial submanifolds intermediate dimension. The desired relate and extend number important results measure theory.

Theorem 1. 1) Under local changes of the fields u = u(w) the coefficient g(u) in the bracket (2) transforms like a bilinear form (a tensor with upper indices); if det g 6= 0, then the expression b k (u) = gΓ j sk transforms in such a way that the Γjsk are the Christoffel tymbols of a differential-geometric connection. 2) In order that the bracket (2) be skew-symmetric it is necessary and suffic...