Sciweavers

10263 search results - page 326 / 2053
» From Use Cases to System Operation Specifications
Sort
View
BMCBI
2008
150views more  BMCBI 2008»
15 years 7 months ago
BibGlimpse: The case for a light-weight reprint manager in distributed literature research
Background: While text-mining and distributed annotation systems both aim at capturing knowledge and presenting it in a standardized form, there have been few attempts to investig...
Thomas Tüchler, Golda Velez, Alexandra Graf, ...
ASWEC
2009
IEEE
15 years 5 months ago
From Requirements to Embedded Software - Formalising the Key Steps
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
Toby Myers, R. Geoff Dromey
222
Voted
ENTCS
2006
141views more  ENTCS 2006»
15 years 7 months ago
Verification of Distributed Hierarchical Components
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
Tomás Barros, Ludovic Henrio, Eric Madelain...
168
Voted
ICIAP
1999
ACM
15 years 11 months ago
SAR Image Processing Using Artificial Intelligence Planning
—In recent times, improvements in imaging technology have made available an incredible array of information in image format. While powerful and sophisticated image processing sof...
Forest Fisher, Steve A. Chien, Edisanter Lo, Ronal...
208
Voted
CVPR
2008
IEEE
16 years 9 months ago
PSF estimation using sharp edge prediction
Image blur is caused by a number of factors such as motion, defocus, capturing light over the non-zero area of the aperture and pixel, the presence of anti-aliasing filters on a c...
Neel Joshi, Richard Szeliski, David J. Kriegman