Sciweavers

1222 search results - page 26 / 245

» corr 2008

55

CORR
2008
Springer

109views Education» more CORR 2008»

Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax

14 years 10 months ago

Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax

Download www.site.uottawa.ca

Amy P. Felty, Alberto Momigliano

claim paper

Read More »

36

CORR
2008
Springer

53views Education» more CORR 2008»

Zigzag Persistence

14 years 10 months ago

Zigzag Persistence

Download www.cse.ohio-state.edu

Gunnar Carlsson, Vin de Silva

claim paper

Read More »

40

CORR
2008
Springer

64views Education» more CORR 2008»

Beyond Bandlimited Sampling: Nonlinearities, Smoothness and Sparsity

14 years 10 months ago

Beyond Bandlimited Sampling: Nonlinearities, Smoothness and Sparsity

Download webee.technion.ac.il

Yonina C. Eldar, Tomer Michaeli

claim paper

Read More »

42

CORR
2008
Springer

77views Education» more CORR 2008»

Interpolation of Shifted-Lacunary Polynomials

14 years 10 months ago

Interpolation of Shifted-Lacunary Polynomials

Download www.cs.uwaterloo.ca

Mark Giesbrecht, Daniel S. Roche

claim paper

Read More »

54

CORR
2008
Springer

92views Education» more CORR 2008»

Central Limit Theorems for Wavelet Packet Decompositions of Stationary Random Processes

14 years 9 months ago

Central Limit Theorems for Wavelet Packet Decompositions of Stationary Random Processes

Download perso.telecom-bretagne.eu

Abdourrahmane M. Atto, Dominique Pastor

claim paper

Read More »

« Prev « First page 26 / 245 Last » Next »