Sciweavers

1134 search results - page 170 / 227
» Composing Tests from Examples
Sort
View
ISBI
2008
IEEE
14 years 10 months ago
Reducing false positive responses in lung nodule detector system by asymmetric adaboost
We are developing a complex computer aided diagnosis (CAD) system to detect small pulmonary nodules from helical CT scans. Here we present a classifier to reduce the number of fal...
Martin Dolejsi, Jan Kybic, Stanislav Tuma, Michal ...
WWW
2005
ACM
14 years 10 months ago
Debugging OWL ontologies
As an increasingly large number of OWL ontologies become available on the Semantic Web and the descriptions in the ontologies become more complicated, finding the cause of errors ...
Bijan Parsia, Evren Sirin, Aditya Kalyanpur
POPL
2009
ACM
14 years 10 months ago
The semantics of x86-CC multiprocessor machine code
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, t...
Susmit Sarkar, Peter Sewell, Francesco Zappa Narde...
CHI
2005
ACM
14 years 10 months ago
Interaction in 4-second bursts: the fragmented nature of attentional resources in mobile HCI
When on the move, cognitive resources are reserved partly for passively monitoring and reacting to contexts and events, and partly for actively constructing them. The Resource Com...
Antti Oulasvirta, Sakari Tamminen, Virpi Roto, Jaa...
CHI
2004
ACM
14 years 10 months ago
Acquiring in situ training data for context-aware ubiquitous computing applications
Ubiquitous, context-aware computer systems may ultimately enable computer applications that naturally and usefully respond to a user's everyday activity. Although new algorit...
Stephen S. Intille, Ling Bao, Emmanuel Munguia Tap...