557 search results - page 21 / 112 » The L4.verified Project - Next Steps |
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Many software projects fail because they overlook stakeholders or involve the wrong representatives of significant groups. Unfortunately, existing methods in stakeholder analysis...
GI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract: Large biomedical projects often include workflows running across institutional borders. In these workflows, data describing biomedical entities, such as patients, bio-m...
SAC
2010
ACM
13 years 7 months ago
2010
ACM
Problems involving high-dimensional data, such as pattern recognition, image analysis, and gene clustering, often require a preliminary step of dimension reduction before or durin...
MICCAI
2005
Springer
14 years 9 months ago
2005
Springer
Current methods of four-dimensional (4D) CT imaging of the thorax synchronise the acquisition with a respiratory signal to restrospectively sort acquired data. The quality of the 4...
COLT
1999
Springer
14 years 1 months ago
1999
Springer
We consider the AdaBoost procedure for boosting weak learners. In AdaBoost, a key step is choosing a new distribution on the training examples based on the old distribution and th...