Sciweavers

386 search results - page 41 / 78
» Model Classifications and Automated Verification
Sort
View
MICCAI
2005
Springer
14 years 8 months ago
Tissue Classification of Noisy MR Brain Images Using Constrained GMM
We present an automated algorithm for tissue segmentation of noisy, low contrast magnetic resonance (MR) images of the brain. We use a mixture model composed of a large number of G...
Amit Ruf, Hayit Greenspan, Jacob Goldberger
BMCBI
2008
93views more  BMCBI 2008»
13 years 8 months ago
Hybrid MM/SVM structural sensors for stochastic sequential data
In this paper we present preliminary results stemming from a novel application of Markov Models and Support Vector Machines to splice site classification of Intron-Exon and Exon-I...
Brian Roux, Stephen Winters-Hilt
DAC
2009
ACM
14 years 8 months ago
Computing bounds for fault tolerance using formal techniques
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...
André Sülflow, Görschwin Fey, Rol...
SIGSOFT
2010
ACM
13 years 5 months ago
Software for everyone by everyone
Given the dizzying pace of change in computer science, trying to look too far into the future of software engineering is hard. However, it might be possible to predict the future ...
Tevfik Bultan
BMCBI
2005
145views more  BMCBI 2005»
13 years 7 months ago
CAGER: classification analysis of gene expression regulation using multiple information sources
Background: Many classification approaches have been applied to analyzing transcriptional regulation of gene expressions. These methods build models that can explain a gene's...
Jianhua Ruan, Weixiong Zhang