Sciweavers

5030 search results - page 157 / 1006
» cases 2007
Sort
View
CAIP
2007
Springer
109views Image Analysis» more  CAIP 2007»
15 years 11 months ago
Hierarchical Classifiers for Detection of Fractures in X-Ray Images
Fracture of the bone is a very serious medical condition. In clinical practice, a tired radiologist has been found to miss fracture cases after looking through many images containi...
Joshua Congfu He, Wee Kheng Leow, Tet Sen Howe
157
Voted
WSC
2007
15 years 9 months ago
Targeted strategies for tuberculosis in areas of high HIV prevalence: a simulation study
We describe the analysis of a discrete event simulation model of tuberculosis (TB) and HIV disease, parameterized to describe the dual epidemics in Harare, Zimbabwe. The HIV epide...
Georgina R. Mellor, Christine S. M. Currie, Elizab...
IJCAI
2007
15 years 8 months ago
The Ins and Outs of Critiquing
Eliminating previously recommended products in critiquing limits the choices available to users when they attempt to navigate back to products they critiqued earlier in the dialog...
David McSherry, David W. Aha
NIPS
2004
15 years 8 months ago
Limits of Spectral Clustering
An important aspect of clustering algorithms is whether the partitions constructed on finite samples converge to a useful clustering of the whole data space as the sample size inc...
Ulrike von Luxburg, Olivier Bousquet, Mikhail Belk...
218
Voted
PTS
2000
58views Hardware» more  PTS 2000»
15 years 8 months ago
Formal Test Automation: The Conference Protocol with PHACT
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
Lex Heerink, Jan Feenstra, Jan Tretmans