3457 search results - page 20 / 692 » A Symbol Is Not a Symbol |
AISC
2004
Springer
14 years 1 months ago
2004
Springer
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. We show how polynomial interpretations with negative coefficients, like x - 1 for...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
Similarity search is an important problem in information retrieval. This similarity is based on a distance. Symbolic representation of time series has attracted many researchers re...
CODES
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper proposes a new link for asynchronous NoC communications that is resilient to transient faults on the wires of the link without impact on the data transfer capability. R...
TSP
2010
13 years 4 months ago
2010
In this correspondence, we propose an iterative "turbo" channel estimation algorithm for known symbol padding (KSP) orthogonal frequency-division multiplexing (OFDM), whe...
EUROPAR
2007
Springer
14 years 4 months ago
2007
Springer
This paper introduces the design of SymGrid, a new Grid framework that will, for the first time, allow multiple invocations of symbolic computing applications to interact via the ...