Sciweavers

4880 search results - page 135 / 976
» Manuals as Structured Programs
Sort
View
125
Voted
MICCAI
2009
Springer
16 years 4 months ago
Robust Atlas-Based Brain Segmentation Using Multi-structure Confidence-Weighted Registration
Abstract. We present a robust and accurate atlas-based brain segmentation method which uses multiple initial structure segmentations to simultaneously drive the image registration ...
Ali R. Khan, Moo K. Chung, Mirza Faisal Beg
143
Voted
MICCAI
2000
Springer
15 years 7 months ago
Simulation of Corticospinal Tract Displacement in Patients with Brain Tumors
The spatial relationship between the corticospinal tracts and a brain tumor is important for planning the surgical strategy. Although the white matter tracts can be manually outlin...
Michael Kaus, Arya Nabavi, C. T. Mamisch, William ...
146
Voted
IPPS
2005
IEEE
15 years 9 months ago
Building on a Framework: Using FG for More Flexibility and Improved Performance in Parallel Programs
We describe new features of FG that are designed to improve performance and extend the range of computations that fit into its framework. FG (short for Framework Generator) is a ...
Elena Riccio Davidson, Thomas H. Cormen
110
Voted
TLDI
2003
ACM
134views Formal Methods» more  TLDI 2003»
15 years 8 months ago
Scrap your boilerplate: a practical design pattern for generic programming
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
Ralf Lämmel, Simon L. Peyton Jones
ATAL
2010
Springer
14 years 10 months ago
Approximate dynamic programming with affine ADDs
The Affine ADD (AADD) is an extension of the Algebraic Decision Diagram (ADD) that compactly represents context-specific, additive and multiplicative structure in functions from a...
Scott Sanner, William T. B. Uther, Karina Valdivia...