108 search results - page 16 / 22 » Enforcing structural regularities in software using IntensiV... |
CVPR
2008
IEEE
13 years 8 months ago
2008
IEEE
This paper presents a new image denoising model for real color photo noise removal. Our model is implemented in the hue, saturation and intensity (HSI) space. The hue and saturati...
CASES
2001
ACM
13 years 11 months ago
2001
ACM
Today's digital signal processors (DSPs), unlike general-purpose processors, use a non-uniform addressing model in which the primary components of the memory system--the DRAM...
BMCBI
2007
13 years 8 months ago
2007
Background: In Archeae and Bacteria, the repeated elements called CRISPRs for "clustered regularly interspaced short palindromic repeats" are believed to participate in ...
JCST
2010
13 years 2 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
WACC
1999
ACM
14 years 6 days ago
1999
ACM
In many hierarchical companies, reports from several independent groups must be merged to form a single, companywide report. This paper describes a process and system for creating...