3417 search results - page 351 / 684 » Visualizing Partial Evaluation |
178
click to vote
IFL
2005
Springer
16 years 5 days ago
2005
Springer
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
174
click to vote
ISMDA
2005
Springer
16 years 4 days ago
2005
Springer
Myocardial Contrast Echocardiography (MCE) is a recent technique that allows to measure regional perfusion in the cardiac wall. Segmentation of MCE sequences would allow simultaneo...
185
click to vote
ISMIS
2005
Springer
16 years 4 days ago
2005
Springer
We address the problem of loading transactional datasets into main memory and estimating the density of such datasets. We propose BoolLoader, an algorithm dedicated to these tasks;...
166
click to vote
PPDP
2005
Springer
16 years 4 days ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
194
click to vote
CP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The paper presents a new look-ahead scheme for backtracking search for solving constraint satisfaction problems. This look-ahead scheme computes a heuristic for value ord...