4074 search results - page 657 / 815 » Abstract Graph Transformation |
107
click to vote
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
This paper tackles a problem often overlooked in functional programming community: that of testing. Fully automatic test tools like Quickcheck and G∀ST can test first order func...
114
click to vote
AIPR
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract—The multi-band target detection algorithms implemented in hyperspectral imaging systems represent perhaps the most successful example of image fusion. A core suite of su...
118
click to vote
ARITH
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— Modular reduction is a fundamental operation in cryptographic systems. Most well known modular reduction methods including Barrett’s and Montgomery’s algorithms lev...
115
click to vote
ICIP
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— In this paper, we describe a two-step varianceadaptive method for image denoising based on a statistical model of the coefficients of balanced multiwavelet transform. ...
123
click to vote
VLSID
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract—Integrated power supplies are critical building blocks in stateof-the-art portable applications, where they efficiently and accurately transform a battery supply into va...