Sciweavers

1937 search results - page 97 / 388
» Starting B Specifications from Use Cases
Sort
View
TMI
2002
191views more  TMI 2002»
15 years 4 months ago
Automatic Detection of Abnormalities in Chest Radiographs Using Local Texture Analysis
A fully automatic method is presented to detect abnormalities in frontal chest radiographs which are aggregated into an overall abnormality score. The method is aimed at finding ab...
Bram van Ginneken, Shigehiko Katsuragawa, Bart M. ...
ICIP
2004
IEEE
16 years 6 months ago
Building blocks for autonomous navigation using contour correspondences
We address a few problems in navigation of automated vehicles using images captured by a mounted camera. Specifically, we look at the recognition of sign boards, rectification of ...
M. Pawan Kumar, C. V. Jawahar, P. J. Narayanan
BMCBI
2005
94views more  BMCBI 2005»
15 years 4 months ago
Reproducible Clusters from Microarray Research: Whither?
Motivation: In cluster analysis, the validity of specific solutions, algorithms, and procedures present significant challenges because there is no null hypothesis to test and no &...
Nikhil R. Garge, Grier P. Page, Alan P. Sprague, B...
ICSE
2003
IEEE-ACM
15 years 9 months ago
A Dependable Architecture for COTS-Based Software Systems Using Protective Wrappers
Commercial off-the-shelf (COTS) software components are built to be used as black boxes that cannot be modified. The specific context in which these COTS components are employed is...
Paulo Asterio de Castro Guerra, Cecília M. ...
FORTE
2004
15 years 6 months ago
Formal Composition of Distributed Scenarios
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit...