430 search results - page 46 / 86 » On Using Satisfiability-Based Pruning Techniques in Covering... |
ICCD
2001
IEEE
15 years 7 months ago
2001
IEEE
Dynamic power is the main source of power consumption in CMOS circuits. It depends on the square of the supply voltage. It may significantly be reduced by scaling down the supply ...
WWW
2008
ACM
15 years 11 months ago
2008
ACM
Although most of existing research usually detects events by analyzing the content or structural information of Web documents, a recent direction is to study the usage data. In th...
3DPVT
2002
IEEE
15 years 3 months ago
2002
IEEE
In this paper a gesture recognition system using 3D data is described. The system relies on a novel 3D sensor that generates a dense range image of the scene. The main novelty of ...
ICSE
2005
IEEE-ACM
15 years 10 months ago
2005
IEEE-ACM
Greedy algorithms for the construction of software interaction test suites are studied. A framework is developed to evaluate a large class of greedy methods that build suites one ...
WAIM
2007
Springer
15 years 4 months ago
2007
Springer
The constructions of Haar wavelet synopses for large data sets have proven to be useful tools for data approximation. Recently, research on constructing wavelet synopses with a gua...