Sciweavers

492 search results - page 74 / 99
» Applying Property Testing to an Image Partitioning Problem
Sort
View
BIRTHDAY
2003
Springer
15 years 2 months ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
70
Voted
BMCBI
2007
102views more  BMCBI 2007»
14 years 9 months ago
Setting up a large set of protein-ligand PDB complexes for the development and validation of knowledge-based docking algorithms
Background: The number of algorithms available to predict ligand-protein interactions is large and ever-increasing. The number of test cases used to validate these methods is usua...
Luis A. Diago, Persy Morell, Longendri Aguilera, E...
P2P
2007
IEEE
161views Communications» more  P2P 2007»
15 years 3 months ago
The BitCod Client: A BitTorrent Clone using Network Coding
Network coding is an emerging field of research with sound and mature theory supporting it. Recent works shows that it has many benefits like improved fault tolerance, higher ...
Danny Bickson, Roy Borer
IPMI
2005
Springer
15 years 10 months ago
Unified Statistical Approach to Cortical Thickness Analysis
This paper presents a unified image processing and analysis framework for cortical thickness in characterizing a clinical population. The emphasis is placed on the development of d...
Moo K. Chung, Steve Robbins, Alan C. Evans
81
Voted
MICCAI
2010
Springer
14 years 8 months ago
Generalized Sparse Classifiers for Decoding Cognitive States in fMRI
The high dimensionality of functional magnetic resonance imaging (fMRI) data presents major challenges to fMRI pattern classification. Directly applying standard classifiers often ...
Bernard Ng, Arash Vahdat, Ghassan Hamarneh, Rafeef...