Sciweavers

70 search results - page 10 / 14
» A Flexible, (C)LP-Based Approach to the Analysis of Object-O...
Sort
View
102
Voted
TMI
2002
248views more  TMI 2002»
14 years 9 months ago
Adaptive Elastic Segmentation of Brain MRI via Shape Model Guided Evolutionary Programming
This paper presents a fully automated segmentation method for medical images. The goal is to localize and parameterize a variety of types of structure in these images for subsequen...
Alain Pitiot, Arthur W. Toga, Paul M. Thompson
76
Voted
DOCENG
2009
ACM
15 years 4 months ago
Automated extensible XML tree diagrams
: © Automated Extensible XML Tree Diagrams John Lumley HP Laboratories HPL-2009-137 XSLT, SVG, XML trees, Functional programming XML is a tree-oriented meta-language and visual de...
John Lumley
BMCBI
2008
112views more  BMCBI 2008»
14 years 10 months ago
Evaluation of genomic island predictors using a comparative genomics approach
Background: Genomic islands (GIs) are clusters of genes in prokaryotic genomes of probable horizontal origin. GIs are disproportionately associated with microbial adaptations of m...
Morgan G. I. Langille, William W. L. Hsiao, Fiona ...
105
Voted
BMCBI
2006
115views more  BMCBI 2006»
14 years 10 months ago
The accuracy of several multiple sequence alignment programs for proteins
Background: There have been many algorithms and software programs implemented for the inference of multiple sequence alignments of protein and DNA sequences. The "true" ...
Paulo A. S. Nuin, Zhouzhi Wang, Elisabeth R. M. Ti...
130
Voted
IFIP
2010
Springer
14 years 5 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...