Sciweavers

7623 search results - page 288 / 1525
» Constructive Volume Modeling
Sort
View
TMI
2010
217views more  TMI 2010»
14 years 11 months ago
A Generative Model for Image Segmentation Based on Label Fusion
We propose a nonparametric, probabilistic model for the automatic segmentation of medical images, given a training set of images and corresponding label maps. The resulting inferen...
Mert R. Sabuncu, B. T. Thomas Yeo, Koenraad Van Le...
TPHOL
1997
IEEE
15 years 8 months ago
An Isabelle-Based Theorem Prover for VDM-SL
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
Sten Agerholm, Jacob Frost
WWW
2006
ACM
16 years 5 months ago
Knowledge modeling and its application in life sciences: a tale of two ontologies
High throughput glycoproteomics, similar to genomics and proteomics, involves extremely large volumes of distributed, heterogeneous data as a basis for identification and quantifi...
Satya Sanket Sahoo, Christopher Thomas, Amit P. Sh...
IOLTS
2005
IEEE
163views Hardware» more  IOLTS 2005»
15 years 10 months ago
Modeling Soft-Error Susceptibility for IP Blocks
As device geometries continue to shrink, single event upsets are becoming of concern to a wider spectrum of system designers. These “soft errors” can be a nuisance or catastro...
Robert C. Aitken, Betina Hold
BMCBI
2008
138views more  BMCBI 2008»
15 years 4 months ago
Automated simultaneous analysis phylogenetics (ASAP): an enabling tool for phlyogenomics
Background: The availability of sequences from whole genomes to reconstruct the tree of life has the potential to enable the development of phylogenomic hypotheses in ways that ha...
Indra Neil Sarkar, Mary G. Egan, Gloria M. Coruzzi...