6120 search results - page 207 / 1224 » The Power of Linear Functions |
146
click to vote
MOR
2002
15 years 6 months ago
2002
We examine the sequence of local minimizers of the log-barrier function for a nonlinear program near a solution at which second-order sufficient conditions and the Mangasarian-From...
172
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
The characterization of a binary function by partial frequency information is considered. We show that it is possible to reconstruct the binary signal from incomplete frequency me...
129
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper consider the problem of how to evaluate the efficiency of a 3D continuous functional HRTF model in representing measured data. The proposed method is based on Karhunen...
147
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs. ...
178
click to vote
ATS
2003
IEEE
15 years 11 months ago
2003
IEEE
A new technique for synthesizing totally symmetric Boolean functions is presented that achieves complete robust path delay fault testability. We apply BDDs for the synthesis of sy...