Sciweavers

1173 search results - page 90 / 235
» Program Derivation Using Analogy
Sort
View
PROMISE
2010
14 years 11 months ago
Case-based reasoning vs parametric models for software quality optimization
Background: There are many data mining methods but few comparisons between them. For example, there are at least two ways to build quality optimizers, programs that find project o...
Adam Brady, Tim Menzies
ISCAS
1994
IEEE
114views Hardware» more  ISCAS 1994»
15 years 9 months ago
The PBF of One Weight Weighted Median Filters
Abstract - The general form of PBFs corresponding to one weight WM filters, which are a subclass of WM filters, is derived in this paper. Based on the results, it is straightforwar...
Tong Sun, Moncef Gabbouj, Yrjö Neuvo
ICCV
2005
IEEE
16 years 6 months ago
A New Framework for Approximate Labeling via Graph Cuts
A new framework is presented that uses tools from duality theory of linear programming to derive graph-cut based combinatorial algorithms for approximating NP-hard classification ...
Nikos Komodakis, Georgios Tziritas
ICC
2009
IEEE
129views Communications» more  ICC 2009»
15 years 11 months ago
Restless Watchdog: Monitoring Multiple Bands with Blind Period in Cognitive Radio Systems
— Spectrum sensing, which monitors the spectrum activity, is studied for cognitive radio systems using multiple frequency bands with non-negligible band switching time (blind per...
Husheng Li
POPL
2010
ACM
16 years 2 months ago
Contracts Made Manifest
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
Benjamin C. Pierce, Michael Greenberg, Stephanie W...