Sciweavers

2695 search results - page 335 / 539
» The Complexity of Forecast Testing
Sort
View
SIGSOFT
2001
ACM
16 years 4 months ago
Combining UML and formal notations for modelling real-time systems
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli
ISBI
2008
IEEE
16 years 4 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 ...
107
Voted
WWW
2006
ACM
16 years 4 months ago
Browsing on small screens: recasting web-page segmentation into an efficient machine learning framework
Fitting enough information from webpages to make browsing on small screens compelling is a challenging task. One approach is to present the user with a thumbnail image of the full...
Shumeet Baluja
ECOOP
2009
Springer
16 years 4 months ago
Stepping Stones over the Refactoring Rubicon
Refactoring tools allow the programmer to pretend they are working with a richer language where the behaviour of a program is automatically preserved during restructuring. In this ...
Mathieu Verbaere, Max Schäfer, Oege de Moor, ...
STOC
2009
ACM
123views Algorithms» more  STOC 2009»
16 years 4 months ago
An improved constant-time approximation algorithm for maximum~matchings
This paper studies constant-time approximation algorithms for problems on degree-bounded graphs. Let n and d be the number of vertices and the degree bound, respectively. This pap...
Yuichi Yoshida, Masaki Yamamoto, Hiro Ito