Sciweavers

1193 search results - page 2 / 239
» A primer of simple theories
Sort
View
CCR
2006
115views more  CCR 2006»
13 years 6 months ago
Network coding: an instant primer
Network coding is a new research area that may have interesting applications in practical networking systems. With network coding, intermediate nodes may send out packets that are...
Christina Fragouli, Jean-Yves Le Boudec, Jörg...
MFCS
2001
Springer
13 years 10 months ago
Playing Games with Algorithms: Algorithmic Combinatorial Game Theory
Combinatorial games lead to several interesting, clean problems in algorithms and complexity theory, many of which remain open. The purpose of this paper is to provide an overview...
Erik D. Demaine
HOA
1993
13 years 10 months ago
Theory Interpretation in Simple Type Theory
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...
William M. Farmer
SODA
2012
ACM
209views Algorithms» more  SODA 2012»
11 years 8 months ago
Simple and practical algorithm for sparse Fourier transform
We consider the sparse Fourier transform problem: given a complex vector x of length n, and a parameter k, estimate the k largest (in magnitude) coefficients of the Fourier transf...
Haitham Hassanieh, Piotr Indyk, Dina Katabi, Eric ...
TAGT
1998
Springer
289views Graph Theory» more  TAGT 1998»
13 years 10 months ago
Simple Modules for GRACE
Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sa...