3457 search results - page 294 / 692 » A Symbol Is Not a Symbol |
184
click to vote
IPL
2011
14 years 10 months ago
2011
Ellul, Krawetz, Shallit and Wang prove an exponential lower bound on the size of any context-free grammar generating the language of all permutations over some alphabet. We genera...
171
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
201
click to vote
MOC
2011
15 years 1 months ago
2011
We utilize effective algorithms for computing in the cohomology of a Shimura curve together with the Jacquet-Langlands correspondence to compute systems of Hecke eigenvalues assoc...
149
click to vote
VTC
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract - A coherent detection of OFDM signals (Orthogonal Frequency Division Multiplexing) allows good performances in severely time-dispersive channels. However, coherent receiv...
172
click to vote
GECCO
2007
Springer
16 years 25 days ago
2007
Springer
—In this paper, an autonomous music composition tool is developed using Genetic Algorithms. The production is enhanced by integrating formal grammar rules. A formal grammar is a ...