Sciweavers

4112 search results - page 494 / 823
» Efficient Algorithms for the Spoonerism Problem
Sort
View
184
Voted
ICFP
2004
ACM
16 years 7 months ago
Numbering matters: first-order canonical forms for second-order recursive types
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
François Pottier, Nadji Gauthier
DCC
2004
IEEE
16 years 7 months ago
Distortion-Optimal Transmission of Progressive Images over Channels with Random Bit Errors and Packet Erasures
We present a statistical optimization framework for solving the end-to-end problem of progressive transmission of images over noisy channels. We consider the impacts of transmissi...
Homayoun Yousefi'zadeh, Hamid Jafarkhani, Farzad E...
204
Voted
ISVLSI
2007
IEEE
151views VLSI» more  ISVLSI 2007»
16 years 1 months ago
Design of a MCML Gate Library Applying Multiobjective Optimization
In this paper, the problem of sizing MOS Current Mode Logic (MCML) circuits is addressed. The Pareto front is introduced as a useful analysis tool to explore the design space of e...
Roberto Pereira-Arroyo, Pablo Alvarado-Moya, Wolfg...
GECCO
2005
Springer
127views Optimization» more  GECCO 2005»
16 years 1 months ago
Investigating the performance of module acquisition in cartesian genetic programming
Embedded Cartesian Genetic Programming (ECGP) is a form of the graph based Cartesian Genetic Programming (CGP) in which modules are automatically acquired and evolved. In this pap...
James Alfred Walker, Julian Francis Miller
167
Voted
ISPD
1999
ACM
94views Hardware» more  ISPD 1999»
15 years 12 months ago
Gate sizing with controlled displacement
- In this paper, we present an algorithm for gate sizing with controlled displacement to improve the overall circuit timing. We use a path-based delay model to capture the timing c...
Wei Chen, Cheng-Ta Hsieh, Massoud Pedram