3457 search results - page 31 / 692 » A Symbol Is Not a Symbol |
IWFM
2003
13 years 11 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
ENTCS
2006
13 years 10 months ago
2006
The goal of this paper is to translate (fragments of) the quantified discrete duration calculus QDDC, proposed by P. Pandya, into symbolic acceptors with counters. Acceptors are w...
ISMIR
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we propose a text represention for musical chord symbols that is simple and intuitive for musically trained individuals to write and understand, yet highly structure...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
In this paper we propose a novel timing and frequency synchronization and decoding method for the P1 symbol in DVB-T2 based on the correlation between the received signal and the ...
GREC
2009
Springer
14 years 1 months ago
2009
Springer
In this paper we present an algorithm for performance characterization of symbol localization systems. This algorithm is aimed to be a more “reliable” and “open” solution t...