Sciweavers

4057 search results - page 413 / 812
» Linear combination of transformations
Sort
View
VLSID
2002
IEEE
135views VLSI» more  VLSID 2002»
16 years 7 months ago
An Efficient Algorithm for Low Power Pass Transistor Logic Synthesis
In this paper, we address the problem of power dissipation minimization in combinational circuits implemented using pass transistor logic (PTL). We transform the problem of power ...
Rupesh S. Shelar, Sachin S. Sapatnekar
CADE
2006
Springer
16 years 7 months ago
Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems
Abstract. Semantic labelling is a transformational technique for proving termination of Term Rewriting Systems (TRSs). Only its variant with finite sets of labels was used so far i...
Adam Koprowski, Hans Zantema
EDBT
2002
ACM
132views Database» more  EDBT 2002»
16 years 6 months ago
A Framework for the Physical Design Problem for Data Synopses
Maintaining statistics on multidimensional data distributions is crucial for predicting the run-time and result size of queries and data analysis tasks with acceptable accuracy. To...
Arnd Christian König, Gerhard Weikum
DCC
2003
IEEE
16 years 6 months ago
Compression of RADARSAT Data with Block Adaptive Wavelets
: This paper proposes a new algorithm referred to as the Wavelet Packet-based Embedded Block coding (WPEB) scheme for SAR data compression. This algorithm combines the following pr...
Ian G. Cumming, Jing Wang
MMM
2009
Springer
218views Multimedia» more  MMM 2009»
16 years 3 months ago
Sparse Multiscale Patches (SMP) for Image Categorization
Abstract. In this paper we address the task of image categorization using a new similarity measure on the space of Sparse Multiscale Patches (SMP). SMPs are based on a multiscale t...
Paolo Piro, Sandrine Anthoine, Eric Debreuve, Mich...