Sciweavers

4880 search results - page 95 / 976
» Manuals as Structured Programs
Sort
View
141
Voted
IJSSE
2010
80views more  IJSSE 2010»
15 years 17 days ago
Improving Memory Management Security for C and C++
Memory managers are an important part of any modern language: they are used to dynamically allocate memory for use in the program. Many managers exist and depending on the operati...
Yves Younan, Wouter Joosen, Frank Piessens, Hans V...
POPL
1996
ACM
15 years 7 months ago
Using Parameterized Signatures to Express Modular Structure
Module systems are a powerful, practical tool for managing the complexity of large software systems. Previous attempts to formulate a type-theoretic foundation for modular program...
Mark P. Jones
MICCAI
2009
Springer
16 years 17 days ago
Joint Segmentation of Image Ensembles via Latent Atlases
Abstract. Spatial priors, such as probabilistic atlases, play an important role in MRI segmentation. However, the availability of comprehensive, reliable and suitable manual segmen...
Tammy Riklin Raviv, Koen Van Leemput, William M. W...
MIA
2010
128views more  MIA 2010»
14 years 10 months ago
Segmentation of image ensembles via latent atlases
Abstract. Spatial priors, such as probabilistic atlases, play an important role in MRI segmentation. However, the availability of comprehensive, reliable and suitable manual segmen...
Tammy Riklin-Raviv, Koen Van Leemput, Bjoern H. Me...
ICAIL
2009
ACM
15 years 8 months ago
Segmentation of legal documents
An overwhelming number of legal documents is available in digital form. However, most of the texts are usually only provided in a semi-structured form, i.e. the documents are stru...
Eneldo Loza Mencía