Sciweavers

2143 search results - page 125 / 429
» corr 2010
Sort
View
CORR
2010
Springer
62views Education» more  CORR 2010»
15 years 4 months ago
Guessing Revisited: A Large Deviations Approach
The problem of guessing a random string is revisited and some prior results on guessing exponents are re-derived using the theory of large deviations. It is shown that if the seque...
Manjesh Kumar Hanawal, Rajesh Sundaresan
CORR
2010
Springer
96views Education» more  CORR 2010»
15 years 4 months ago
Realizing evaluation strategies by hierarchical graph rewriting
We discuss the realization of evaluation strategies for the concurrent constraint-based functional language ccfl within the translation schemata when compiling ccfl programs into t...
Petra Hofstedt
CORR
2010
Springer
77views Education» more  CORR 2010»
15 years 4 months ago
An upper bound on the number of states for a strongly universal hyperbolic cellular automaton on the pentagrid
In this paper, following the way opened by a previous paper deposited on arXiv, see[7], we give an upper bound to the number of states for a hyperbolic cellular automaton in the pe...
Maurice Margenstern
CORR
2010
Springer
76views Education» more  CORR 2010»
15 years 4 months ago
Improved Bounds on Restricted Isometry Constants for Gaussian Matrices
The Restricted Isometry Constants (RIC) of a matrix A measures how close to an isometry is the action of A on vectors with few nonzero entries, measured in the 2 norm. Specifically...
Bubacarr Bah, Jared Tanner
CORR
2010
Springer
62views Education» more  CORR 2010»
15 years 4 months ago
Views, Program Transformations, and the Evolutivity Problem
In this article, we argue that a program transformation approach is a good way to solve the tyranny of the primary decomposition. We illustrate our transformation-based approach o...
Julien Cohen, Rémi Douence