Sciweavers

67 search results - page 8 / 14
» Constructing Strictly Positive Families
Sort
View
ICASSP
2011
IEEE
12 years 11 months ago
Integrated Sidelobe Level of sets of Rotated Legendre Sequences
We here address the problem of constructing sets of sequences with low integrated aperiodic auto- and crosscorrelations when the constraint of antipodal symbols is enforced. Our m...
Salvador Javier Haboba, Riccardo Rovatti, Gianluca...
FOSSACS
2003
Springer
14 years 1 months ago
Categories of Containers
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
Michael Abbott, Thorsten Altenkirch, Neil Ghani
POPL
2006
ACM
14 years 8 months ago
A virtual class calculus
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...
Erik Ernst, Klaus Ostermann, William R. Cook
CORR
2006
Springer
98views Education» more  CORR 2006»
13 years 8 months ago
Recurrence relations and fast algorithms
We construct fast algorithms for evaluating transforms associated with families of functions which satisfy recurrence relations. These include algorithms both for computing the co...
Mark Tygert
EUROCRYPT
2003
Springer
14 years 1 months ago
CAPTCHA: Using Hard AI Problems for Security
We introduce captcha, an automated test that humans can pass, but current computer programs can’t pass: any program that has high success over a captcha can be used to solve an u...
Luis von Ahn, Manuel Blum, Nicholas J. Hopper, Joh...