Sciweavers

1776 search results - page 169 / 356
» Uncertain Linear Constraints
Sort
View
ICPR
2008
IEEE
16 years 14 days ago
A factorization algorithm for trifocal tensor estimation
Trifocal tensor encapsulates the geometric constraints between three views. It plays an important role in computer vision. However elements in measurement matrix of existing linea...
Liang Wang, Fuchao Wu
ISBI
2008
IEEE
16 years 13 days ago
Support vector driven Markov random fields towards DTI segmentation of the human skeletal muscle
In this paper we propose a classification-based method towards the segmentation of diffusion tensor images. We use Support Vector Machines to classify diffusion tensors and we ex...
Radhouène Neji, Gilles Fleury, Jean Francoi...
ICNSC
2007
IEEE
16 years 10 days ago
Improved estimation for object localization via sensor networks
The paper addresses object localization via a distributed sensor network. A centralized estimation approach is undertaken along with a selective node activation strategy to ensure...
Alessio Benavoli, Luigi Chisci
VMCAI
2007
Springer
16 years 4 days ago
Invariant Synthesis for Combined Theories
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, A...
ISCAS
2003
IEEE
91views Hardware» more  ISCAS 2003»
15 years 11 months ago
SDP for multi-criterion QMF bank design
Quadraturemirror filter(QMF)bank with multi-criterion constraints suchas minimal aliasing and/or minimal error coding is amongthe most important problems in filter bank design, fo...
H. D. Tuan, L. H. Nam, H. Tuy, T. Q. Nguyen