Search Sciweavers | Sciweavers

15254 search results - page 139 / 3051

» A k

157

click to vote

CORR
2011
Springer

144views Education» more CORR 2011»

Analyzing Walksat on random formulas

14 years 10 months ago

Download www.math.cmu.edu

Let Φ be a uniformly distributed random k-SAT formula with n variables and m clauses. We prove that the Walksat algorithm from [16, 17] ﬁnds a satisfying assignment of Φ in pol...

Amin Coja-Oghlan, Alan M. Frieze

claim paper

Read More »

click to vote

ICIP
2004
IEEE

84views Image Processing» more ICIP 2004»

Optimized filtering and reconstruction in predictive quantization with losses

16 years 8 months ago

Download www.eecs.berkeley.edu

Alyson K. Fletcher, Sundeep Rangan, Vivek K. Goyal...

claim paper

Read More »

103

click to vote

ICIP
2004
IEEE

106views Image Processing» more ICIP 2004»

A robust method for recovering geometric proxy from multiple panoramic images

16 years 8 months ago

Download vireo.cs.cityu.edu.hk

Ada S. K. Wan, Angus M. K. Siu, Rynson W. H. Lau, ...

claim paper

Read More »

139

click to vote

DAC
2004
ACM

94views Computer Architecture» more DAC 2004»

First-order incremental block-based statistical timing analysis

16 years 7 months ago

Download www.research.ibm.com

Chandramouli Visweswariah, K. Ravindran, K. Kalafa...

claim paper

Read More »

131

click to vote

VLSID
2003
IEEE

91views VLSI» more VLSID 2003»

High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap

16 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers