1011 search results - page 58 / 203 » The three dimensions of proofs |
158
click to vote
SIAMJO
2008
15 years 6 months ago
2008
Second-order sufficient optimality conditions are established for the optimal control of semilinear elliptic and parabolic equations with pointwise constraints on the control and t...
168
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
The TDOA-based acoustic source localization approaches suffer from a pairing problem in the case of multiple dimensions and multiple sources. To resolve this problem, usually thre...
154
click to vote
ISSAC
2009
Springer
16 years 25 days ago
2009
Springer
We describe a new LLL-type algorithm, H-LLL, that relies on Householder transformations to approximate the underlying Gram-Schmidt orthogonalizations. The latter computations are ...
169
click to vote
HPCC
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. CAN is a famous structured peer-to-peer network based on ddimensional torus topology with constant degree and logarithmical diameter, but suffers from poor scalability wh...
152
click to vote
SOFTVIS
2006
ACM
16 years 7 days ago
2006
ACM
The analysis of the runtime behavior of a software system yields vast amounts of information, making accurate interpretations difficult. Filtering or compression techniques are o...