Sciweavers

1686 search results - page 148 / 338
» Higher Order Deforestation
Sort
View
VLSID
1999
IEEE
64views VLSI» more  VLSID 1999»
15 years 8 months ago
Exact Output Response Computation of RC Interconnects under Polynomial Input Waveforms
Accurate output response computation of RC interconnects under various input excitations is a key issue in deep submicron delay analysis.In this paper,we present an exact analysis...
Satrajit Gupta, Lalit M. Patnaik
TAPSOFT
1993
Springer
15 years 8 months ago
Optimal Reductions in Interaction Systems
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
Andrea Asperti, Cosimo Laneve
AAAI
2006
15 years 5 months ago
Mechanisms for Partial Information Elicitation: The Truth, but Not the Whole Truth
We examine a setting in which a buyer wishes to purchase probabilistic information from some agent. The seller must invest effort in order to gain access to the information, and m...
Aviv Zohar, Jeffrey S. Rosenschein
PICS
2003
15 years 5 months ago
Level-Successive Encoding for Digital Photography
We propose a level-successive encoding scheme for the compression of continuous tone images. The compressed bit stream is partitioned into individual segments corresponding to suc...
Mehmet Utku Celik, Gaurav Sharma, A. Murat Tekalp
ICASSP
2010
IEEE
15 years 4 months ago
VTLN adaptation for statistical speech synthesis
The advent of statistical speech synthesis has enabled the unification of the basic techniques used in speech synthesis and recognition. Adaptation techniques that have been succ...
Lakshmi Saheer, Philip N. Garner, John Dines, Hui ...