2064 search results - page 411 / 413 » Segmentation Problems |
130
Voted
OOPSLA
2010
Springer
15 years 18 days 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 ...
121
Voted
TECS
2010
15 years 17 days 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...
162
Voted
WBIR
2010
SPRINGER
15 years 16 days 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...
128
Voted
ICTAC
2010
Springer
15 years 4 days 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 ...
131
Voted
MICCAI
2010
Springer
15 years 3 days 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 ...