463 search results - page 41 / 93 » Method Tailoring as Negotiation |
155
click to vote
WEA
2010
Springer
15 years 6 months ago
2010
Springer
We present a new Feasibility Pump algorithm tailored for nonconvex Mixed Integer Nonlinear Programming problems. Differences with the previously proposed Feasibility Pump algorith...
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper we introduce a new algorithm for model order reduction in the presence of parameter or process variation. Our analysis is performed using a graph interpretation of t...
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— This paper develops linear precoding schemes for the downlink in multiuser multiple-input multiple-output (MIMO) orthogonal frequency division multiplexing (OFDM) systems with ...
110
Voted
IPC
2007
IEEE
15 years 6 months ago
2007
IEEE
Current context-aware adaptation techniques are limited in their support for user personalisation. Complex codebases, a reliance on developer modification and an inability to auto...