Sciweavers

4277 search results - page 246 / 856
» On Multiple Linear Approximations
Sort
View
ISSRE
2007
IEEE
15 years 4 months ago
Improving Constraint-Based Testing with Dynamic Linear Relaxations
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...
ICASSP
2008
IEEE
15 years 9 months ago
Non-iterative multiuser MIMO coordinated beamforming with limited feedforward
This paper proposes non-iterative coordinated beamforming algorithms for a multiuser MIMO (multiple input multiple output) system with multiple antennas at the transmitter and mul...
Chan-Byoung Chae, Takao Inoue, Robert W. Heath Jr....
99
Voted
AML
2005
84views more  AML 2005»
15 years 3 months ago
Modularity of proof-nets
When we cut a multiplicative proof-net of linear logic in two parts we get two modules with a certain border. We call pretype of a module the set of partitions over its border indu...
Roberto Maieli, Quintijn Puite
PPL
2002
83views more  PPL 2002»
15 years 2 months ago
Trading Replication for Communication in Parallel Distributed-Memory Dense Solvers
We present new communication-efficient parallel dense linear solvers: a solver for triangular linear systems with multiple right-hand sides and an LU factorization algorithm. Thes...
Dror Irony, Sivan Toledo
ICIP
2003
IEEE
16 years 4 months ago
Boosting linear discriminant analysis for face recognition
In this paper, we propose a new algorithm to boost performance of traditional Linear Discriminant Analysis (LDA)-based face recognition (FR) methods in complex FR tasks, where hig...
Juwei Lu, Konstantinos N. Plataniotis, Anastasios ...