58 search results - page 1 / 12 » Induced Ramsey-type theorems |
IFIP
2004
Springer
14 years 21 days ago
2004
Springer
Abstract We propose an alternative notion of asymptotic behaviors for the study of type2 computational complexity. Since the classical asymptotic notion (for all but finitely many...
ENDM
2007
13 years 7 months ago
2007
EUROGP
2001
Springer
13 years 11 months ago
2001
Springer
In this paper, firstly we specialise the exact GP schema theorem for one-point crossover to the case of linear structures of variable length, for example binary strings or program...
STACS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. A cellular automaton is a parallel synchronous computing model, which consists in a juxtaposition of finite automata whose state evolves according to that of their neigh...
SIAMIS
2010
13 years 2 months ago
2010
Abstract. The linear inverse source and scattering problems are studied from the perspective of compressed sensing, in particular the idea that sufficient incoherence and sparsity ...