Sciweavers

6704 search results - page 603 / 1341
» Testing Scenario-Based Models
Sort
View
JFP
2008
109views more  JFP 2008»
15 years 7 months ago
An operational semantics for Scheme
This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report on Scheme specification in...
Jacob Matthews, Robert Bruce Findler
TIP
2008
205views more  TIP 2008»
15 years 7 months ago
Image Denoising Using Derotated Complex Wavelet Coefficients
A method for removing additive Gaussian noise from digital images is described. It is based on statistical modeling of the coefficients of a redundant, oriented, complex multiscale...
Mark Miller, Nick G. Kingsbury
TPDS
2010
89views more  TPDS 2010»
15 years 5 months ago
Energy-Efficient Protocol for Deterministic and Probabilistic Coverage in Sensor Networks
—Various sensor types, e.g., temperature, humidity, and acoustic, sense physical phenomena in different ways, and thus, are expected to have different sensing models. Even for th...
Mohamed Hefeeda, Hossein Ahmadi
KDD
2004
ACM
103views Data Mining» more  KDD 2004»
16 years 7 months ago
An objective evaluation criterion for clustering
We propose and test an objective criterion for evaluation of clustering performance: How well does a clustering algorithm run on unlabeled data aid a classification algorithm? The...
Arindam Banerjee, John Langford
ICCD
2004
IEEE
113views Hardware» more  ICCD 2004»
16 years 4 months ago
End-to-End Testability Analysis and DfT Insertion for Mixed-Signal Paths
Increasing system complexity and test cost demands new system-level solutions for mixed-signal systems. In this paper, we present a testability analysis and DfT insertion methodol...
Sule Ozev, Alex Orailoglu