2064 search results - page 411 / 413 » Segmentation Problems |
111
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Software developers often duplicate source code to replicate functionality. This practice can hinder the maintenance of a software project: bugs may arise when two identical code ...
TECS
2010
14 years 10 months ago
2010
We consider the problem of recovering from failures of distributable threads (“threads”) in distributed realtime systems that operate under run-time uncertainties including th...
127
click to vote
WBIR
2010
SPRINGER
14 years 10 months ago
2010
SPRINGER
Radio-frequency catheter ablation (RFCA) has become an accepted treatment option for atrial fibrillation (Afib). RFCA of Afib involves isolation of the pulmonary veins under X-r...
104
click to vote
ICTAC
2010
Springer
14 years 10 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
105
Voted
MICCAI
2010
Springer
14 years 9 months ago
2010
Springer
The 3-D reconstruction of cardiac vasculature using C-arm CT is an active and challenging field of research. In interventional environments patients often do have arrhythmic heart ...