Sciweavers

442 search results - page 68 / 89
» Validation methods for calibrating software effort models
Sort
View
JSS
2010
120views more  JSS 2010»
13 years 3 months ago
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
Marco Bernardo, Edoardo Bontà, Alessandro A...
CNSR
2007
IEEE
174views Communications» more  CNSR 2007»
14 years 3 months ago
A New Rate-based Active Queue Management: Adaptive Virtual Queue RED
In an effort to improve performance of congested gateways, a new Active Queue Management (AQM) algorithm, Adaptive Virtual Queue Random Early Detection (AVQRED), was developed by ...
Do J. Byun, John S. Baras
IPMI
2005
Springer
14 years 2 months ago
Knowledge-Driven Automated Detection of Pleural Plaques and Thickening in High Resolution CT of the Lung
Consistent efforts are being made to build Computer-Aided Detection and Diagnosis systems for radiological images. Such systems depend on automated detection of various disease pat...
Mamatha Rudrapatna, Van Mai, Arcot Sowmya, Peter W...
CGO
2009
IEEE
14 years 3 months ago
Automatic Feature Generation for Machine Learning Based Optimizing Compilation
Recent work has shown that machine learning can automate and in some cases outperform hand crafted compiler optimizations. Central to such an approach is that machine learning tec...
Hugh Leather, Edwin V. Bonilla, Michael O'Boyle
INTERACTION
2009
ACM
14 years 1 months ago
RoboEarth: connecting robots worldwide
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...
Oliver Zweigle, René van de Molengraft, Raf...