Sciweavers

434 search results - page 3 / 87
» A Semantic Caching Method Based on Linear Constraints
Sort
View
SAS
2004
Springer
136views Formal Methods» more  SAS 2004»
13 years 11 months ago
Constraint-Based Linear-Relations Analysis
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
CVPR
1998
IEEE
14 years 7 months ago
A New Linear Method for Euclidean Motion/Structure from Three Calibrated Affine Views
We introduce a unified framework for developing matching constraints of multiple affine views and rederive 2-view (affine epipolar geometry) and 3-view (affine image transfer) con...
Long Quan, Yuichi Ohta
CAV
2003
Springer
108views Hardware» more  CAV 2003»
13 years 10 months ago
Linear Invariant Generation Using Non-linear Constraint Solving
Abstract. We present a new method for the generation of linear invariants which reduces the problem to a non-linear constraint solving problem. Our method, based on Farkas’ Lemma...
Michael Colón, Sriram Sankaranarayanan, Hen...
ISCAS
2007
IEEE
108views Hardware» more  ISCAS 2007»
13 years 11 months ago
Linear Prediction Based Semi-Blind Channel Estimation for MIMO-OFDM System
— In this paper, a semi-blind channel estimation method is presented for MIMO-OFDM systems. The new method uses the linear prediction for obtaining a blind constraint on the MIMO...
Feng Wan, Wei-Ping Zhu, M. N. S. Swamy
ICIP
2003
IEEE
14 years 7 months ago
Linear approximations for rate control in video coding
An efficient method for rate control is illustrated for joint source-channel rate selection and for encoding under multiple leaky bucket buffer constraints. This method shows adva...
Yegnaswamy Sermadevi, Sheila S. Hemami