531 search results - page 79 / 107 » Data structure repair using goal-directed reasoning |
162
click to vote
MICCAI
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Spatial priors, such as probabilistic atlases, play an important role in MRI segmentation. However, the availability of comprehensive, reliable and suitable manual segmen...
170
click to vote
PPDP
2007
Springer
16 years 3 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
196
click to vote
JMLR
2010
15 years 24 days ago
2010
Inducing a grammar from text has proven to be a notoriously challenging learning task despite decades of research. The primary reason for its difficulty is that in order to induce...
174
click to vote
MIA
2010
15 years 23 days ago
2010
Abstract. Spatial priors, such as probabilistic atlases, play an important role in MRI segmentation. However, the availability of comprehensive, reliable and suitable manual segmen...
152
click to vote
VIS
2003
IEEE
16 years 7 months ago
2003
IEEE
One of the reasons that topological methods have a limited popularity for the visualization of complex 3D flow fields is the fact that such topological structures contain a number...