Search Sciweavers | Sciweavers

32

CVPR
2008
IEEE

168views Computer Vision» more CVPR 2008»

Image decomposition into structure and texture subcomponents with multifrequency modulation constraints

15 years 5 days ago

Texture information in images is coupled with geometric macrostructures and piecewise-smooth intensity variations. Decomposing an image f into a geometric structure component u an...

Georgios Evangelopoulos, Petros Maragos

claim paper

Read More »

35

click to vote

DAC
2007
ACM

116views Computer Architecture» more DAC 2007»

Optimal Selection of Voltage Regulator Modules in a Power Delivery Network

14 years 11 months ago

Download atrak.usc.edu

High efficiency low voltage DC-DC conversion is a key enabler to the design of power-efficient integrated circuits. Typically a star configuration of the DC-DC converters, where o...

Behnam Amelifard, Massoud Pedram

claim paper

Read More »

21

click to vote

DAC
1999
ACM

126views Computer Architecture» more DAC 1999»

Module Placement for Analog Layout Using the Sequence-Pair Representation

14 years 11 months ago

Download www.cs.uic.edu

Florin Balasa, Koen Lampaert

claim paper

Read More »

72

click to vote

PADL
2009
Springer

126views Programming Languages» more PADL 2009»

Toward a Practical Module System for ACL2

14 years 10 months ago

Download www.ccs.neu.edu

Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...

Carl Eastlund, Matthias Felleisen

claim paper

Read More »

72

click to vote

POPL
2001
ACM

120views Programming Languages» more POPL 2001»

Modules, abstract types, and distributed versioning

14 years 10 months ago

Download www.cl.cam.ac.uk

Peter Sewell

claim paper