Sciweavers

1041 search results - page 52 / 209
» Biomedical Case Studies in Data Intensive Computing
Sort
View
115
Voted
IWANN
2009
Springer
15 years 7 months ago
Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
Karnig Derderian, Mercedes G. Merayo, Robert M. Hi...
421
Voted
IJMI
2010
212views more  IJMI 2010»
14 years 11 months ago
Integrating the SE and HCI models in the human factors engineering cycle for re-engineering Computerized Physician Order Entry s
The integration of Software Engineering (SE) and Human-Computer Interaction (HCI) methods and models is an interesting means for modelling an organization's activities, with ...
Stéphanie Bernonville, Christophe Kolski, N...
105
Voted
CVPR
2005
IEEE
16 years 2 months ago
Parameter Estimation for MRF Stereo
This paper presents a novel approach for estimating parameters for MRF-based stereo algorithms. This approach is based on a new formulation of stereo as a maximum a posterior (MAP...
Li Zhang, Steven M. Seitz
124
Voted
BMCBI
2011
14 years 7 months ago
Worm Phenotype Ontology: integrating phenotype data within and beyond the C. elegans community
Background: Caenorhabditis elegans gene-based phenotype information dates back to the 1970’s, beginning with Sydney Brenner and the characterization of behavioral and morphologi...
Gary Schindelman, Jolene Fernandes, Carol Bastiani...
BMCBI
2005
94views more  BMCBI 2005»
15 years 15 days ago
T.I.M.S: TaqMan Information Management System, tools to organize data flow in a genotyping laboratory
Background: Single Nucleotide Polymorphism (SNP) genotyping is a major activity in biomedical research. The Taqman technology is one of the most commonly used approaches. It produ...
Stéphanie Monnier, David G. Cox, Tim Albion...