799 search results - page 7 / 160 » Improving the feasibility pump |
CORR
2004
Springer
13 years 7 months ago
2004
Springer
We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following p...
PROCEDIA
2010
13 years 5 months ago
2010
One of the steps in the Arbitrary Lagrangian Eulerian (ALE) algorithm is the improvement of the quality of the computational mesh. This step, commonly referred to as rezoning, is ...
MICCAI
2007
Springer
14 years 8 months ago
2007
Springer
DBS for Parkinson's disease involves an extensive planning to find a suitable electrode implantation path to the selected target. We have investigated the feasibility of impro...
ASAP
2005
IEEE
14 years 1 months ago
2005
IEEE
The task of automatic design space exploration of heterogeneous multi-processor systems is often tackled with Evolutionary Algorithms. In this paper, we propose a novel approach i...
EGICE
2006
13 years 11 months ago
2006
This paper describes an initial application of Multi-Attribute Collective Decision Analysis for a Design Initiative (MACDADI) on the feasibility study of a mixed-use facility. Firs...