Sciweavers

4150 search results - page 546 / 830
» A Practical Approach to Model Extension
Sort
View
MICCAI
2003
Springer
16 years 5 months ago
Geostatistical Medical Image Registration
Abstract. We propose a novel approach to landmark-based medical image registration based on the geostatical method of Kriging prediction. Our method exploits the spatial statistica...
Carl-Fredrik Westin, Carlos Alberola-López,...
DCOSS
2009
Springer
15 years 11 months ago
Speed Dating Despite Jammers
Many wireless standards and protocols today, such as WLAN and Bluetooth, operate on similar frequency bands. While this permits an efficient usage of the limited medium capacity, ...
Dominic Meier, Yvonne Anne Pignolet, Stefan Schmid...
KI
2009
Springer
15 years 11 months ago
Presenting Proofs with Adapted Granularity
When mathematicians present proofs they usually adapt their explanations to their didactic goals and to the (assumed) knowledge of their addressees. Modern automated theorem prover...
Marvin Schiller, Christoph Benzmüller
IPPS
2008
IEEE
15 years 11 months ago
Towards effective automatic parallelization for multicore systems
The ubiquity of multicore processors in commodity computing systems has raised a significant programming challenge for their effective use. An attractive but challenging approach...
Uday Bondhugula, Muthu Manikandan Baskaran, Albert...
CC
2007
Springer
107views System Software» more  CC 2007»
15 years 11 months ago
A Fast Cutting-Plane Algorithm for Optimal Coalescing
Abstract. Recent work has shown that the subtasks of register allocation (spilling, register assignment, and coalescing) can be completely separated. This work presents an algorith...
Daniel Grund, Sebastian Hack