Sciweavers

5525 search results - page 625 / 1105
» Verification of Model Transformations
Sort
View
MICCAI
2004
Springer
16 years 8 months ago
A Statistical Shape Model of Individual Fiber Tracts Extracted from Diffusion Tensor MRI
Diffusion Tensor MRI has become the preferred imaging modality to explore white matter structure and brain connectivity in vivo. Conventional region of interest analysis and voxel-...
Isabelle Corouge, Sylvain Gouttard, Guido Gerig
ICML
2005
IEEE
16 years 7 months ago
Supervised dimensionality reduction using mixture models
Given a classification problem, our goal is to find a low-dimensional linear transformation of the feature vectors which retains information needed to predict the class labels. We...
Sajama, Alon Orlitsky
SIGMOD
2005
ACM
93views Database» more  SIGMOD 2005»
16 years 7 months ago
Supporting Executable Mappings in Model Management
Model management is an approach to simplify the programming of metadata-intensive applications. It offers developers powerful operators, such as Compose, Diff, and Merge, that are...
Sergey Melnik, Philip A. Bernstein, Alon Y. Halevy...
ICIAP
2005
ACM
16 years 7 months ago
3D Functional Models of Monkey Brain Through Elastic Registration of Histological Sections
In this paper we describe a method for the reconstruction and visualization of functional models of monkey brains. Models are built through the registration of high resolution imag...
Fabio Bettio, Francesca Frexia, Andrea Giachetti, ...
ICSE
2008
IEEE-ACM
16 years 7 months ago
FeatureMapper: mapping features to models
Variability modelling with feature models is one key technique for specifying the problem space of Software Product Lines (SPLs). To allow for the automatic derivation of a concre...
Florian Heidenreich, Jan Kopcsek, Christian Wende