Sciweavers

2143 search results - page 125 / 429
» corr 2010
Sort
View
89
Voted
CORR
2010
Springer
62views Education» more  CORR 2010»
15 years 26 days 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
98
Voted
CORR
2010
Springer
96views Education» more  CORR 2010»
15 years 26 days 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
86
Voted
CORR
2010
Springer
77views Education» more  CORR 2010»
15 years 11 days 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
93
Voted
CORR
2010
Springer
76views Education» more  CORR 2010»
15 years 27 days 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
86
Voted
CORR
2010
Springer
62views Education» more  CORR 2010»
15 years 27 days 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