Sciweavers

12015 search results - page 571 / 2403
» Interactive Algorithms 2005
Sort
View
ICFP
2001
ACM
16 years 6 months ago
Compositional Explanation of Types and Algorithmic Debugging of Type Errors
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
Olaf Chitil
CRV
2009
IEEE
148views Robotics» more  CRV 2009»
16 years 1 months ago
A Novel Algorithm for Extraction of the Layers of the Cornea
Accurate corneal layer boundary extraction from optical coherence tomography can provide precise layer thickness measurements required in the analysis of corneal disease. This pap...
Justin A. Eichel, Akshaya Kumar Mishra, Paul W. Fi...
165
Voted
ICPR
2008
IEEE
16 years 24 days ago
A novel automatic seed point selection algorithm for breast ultrasound images
Region growing is a frequently used segmentation method for medical ultrasound images processing. The first step of region growing is selecting the seed point which is inside the ...
Juan Shan, Heng-Da Cheng, Yuxuan Wang
ISPDC
2008
IEEE
16 years 22 days ago
Algorithms for Network Topology Discovery using End-to-End Measurements
Identifying and inferring performances of a network topology is a well known problem. Achieving this by using only end-to-end measurements at the application level is a method kno...
Laurent Bobelin, Traian Muntean
BIBE
2007
IEEE
124views Bioinformatics» more  BIBE 2007»
16 years 18 days ago
Finding Cancer-Related Gene Combinations Using a Molecular Evolutionary Algorithm
—High-throughput data such as microarrays make it possible to investigate the molecular-level mechanism of cancer more efficiently. Computational methods boost the microarray ana...
Chan-Hoon Park, Soo-Jin Kim, Sun Kim, Dong-Yeon Ch...