Sciweavers

2702 search results - page 227 / 541
» Requirements Processes: An Experience Report
Sort
View
ICIP
2010
IEEE
15 years 4 months ago
A no-reference image content metric and its application to denoising
A no-reference image metric based on the singular value decomposition of local image gradients is proposed in this paper. This metric provides a quantitative measure of true image...
Xiang Zhu, Peyman Milanfar
ICDE
2011
IEEE
273views Database» more  ICDE 2011»
14 years 10 months ago
Shortcut selection in RDF databases
—An increasing amount of data produced nowadays is in RDF format. While significant work has been performed on view selection and query optimization algorithms in relational dat...
Vicky Dritsou, Panos Constantopoulos, Antonios Del...
IEAAIE
2000
Springer
15 years 10 months ago
Maintenance of KBS's by Domain Experts: The Holy Grail in Practice
Enabling a domain expert to maintain his own knowledge in a Knowledge Based System has long been an ideal for the Knowledge Engineering community. In this paper we report on our ex...
Arne Bultmann, Joris Kuipers, Frank van Harmelen
BMCBI
2011
14 years 10 months ago
Smith-Waterman Peak Alignment for Comprehensive Two-dimensional Gas Chromatography Mass Spectrometry
Background: Comprehensive two-dimensional gas chromatography coupled with mass spectrometry (GC × GCMS) is a powerful technique which has gained increasing attention over the las...
Seongho Kim, Imhoi Koo, Aiqin Fang, Xiang Zhang
ICCAD
2003
IEEE
115views Hardware» more  ICCAD 2003»
16 years 3 months ago
Efficient Verification of Hazard-Freedom in Gate-Level Timed Asynchronous Circuits
This paper presents an efficient method for verifying hazard freedom in timed asynchronous circuits. Timed circuits are a class of asynchronous circuits that utilize explicit tim...
Curtis A. Nelson, Chris J. Myers, Tomohiro Yoneda