7943 search results - page 1238 / 1589 » A calculus for costed computations |
161
click to vote
GECCO
2005
Springer
16 years 10 days ago
2005
Springer
Designing technical plants is a complex and demanding process. It has been shown that the optimization of the simple facility placement problem is already NP-hard. Optimization of...
184
click to vote
HPCC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Automated online search is a powerful technique for performance diagnosis. Such a search can change the types of experiments it performs while the program is running, mak...
162
click to vote
ICANN
2005
Springer
16 years 10 days ago
2005
Springer
Image superresolution involves the processing of an image sequence to generate a still image with higher resolution. Classical approaches, such as bayesian MAP methods, require ite...
197
Voted
ICCS
2005
Springer
16 years 10 days ago
2005
Springer
Cray X1 Fortran and C/C++ compilers provide a number of loop transformations, notably vectorization and multistreaming, in order to exploit the multistreaming processor (MSP) hard...
148
click to vote
ICN
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper considers the primary and secondary path generation problem in traffic engineering. We first present a standard MILP model. Since its size and integrality gap...