Sciweavers

276 search results - page 11 / 56
» A Matrix Characterization for MELL
Sort
View
CVPR
2008
IEEE
14 years 11 months ago
Robust unambiguous parametrization of the essential manifold
Analytic manifolds were recently used for motion averaging, segmentation and robust estimation. Here we consider the epipolar constraint for calibrated cameras, which is the most ...
Raghav Subbarao, Yakup Genc, Peter Meer
TABLEAUX
1995
Springer
14 years 1 months ago
A Connection Based Proof Method for Intuitionistic Logic
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
Jens Otten
CORR
2007
Springer
131views Education» more  CORR 2007»
13 years 9 months ago
Multi-Access MIMO Systems with Finite Rate Channel State Feedback
This paper characterizes the effect of finite rate channel state feedback on the sum rate of a multi-access multiple-input multiple-output (MIMO) system. We propose to control th...
Wei Dai, Brian Rider, Youjian Liu
ICDE
2008
IEEE
129views Database» more  ICDE 2008»
14 years 11 months ago
Optimal Boolean Matrix Decomposition: Application to Role Engineering
Abstract-- A decomposition of a binary matrix into two matrices gives a set of basis vectors and their appropriate combination to form the original matrix. Such decomposition solut...
Haibing Lu, Jaideep Vaidya, Vijayalakshmi Atluri
PPSC
1993
13 years 11 months ago
A Matrix Framework for Conjugate Gradient Methods and Some Variants of CG with Less Synchronization Overhead
We will present a matrix framework for the conjugate gradient methods, which is expressed in terms of whole vector sequences instead of single vectors or initial parts of sequence...
Eduardo F. D'Azevedo, Victor Eijkhout, Charles H. ...