4306 search results - page 796 / 862 » Timed Testing with TorX |
100
click to vote
JPDC
2010
14 years 8 months ago
2010
Non-uniform memory architectures with cache coherence (ccNUMA) are becoming increasingly common, not just for large-scale high performance platforms but also in the context of mul...
106
click to vote
MIAR
2010
IEEE
14 years 8 months ago
2010
IEEE
Intravascular Ultrasound(IVUS) is an imaging technology which provides cross-sectional images of internal coronary vessel structures. The IVUS frames are acquired by pulling the ca...
MICAI
2010
Springer
14 years 8 months ago
2010
Springer
The full deployment of service robots in daily activities will require the robot to adapt to the needs of non-expert users, particularly, to learn how to perform new tasks from “...
MICCAI
2010
Springer
14 years 8 months ago
2010
Springer
In this paper we propose a Markov random field (MRF) based method for joint registration and segmentation of cardiac perfusion images, specifically the left ventricle (LV). MRFs ...
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...