3457 search results - page 306 / 692 » A Symbol Is Not a Symbol |
283
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— For multiple-input multiple-output (MIMO) systems, the optimum maximum likelihood (ML) detection requires tremendous complexity as the number of antennas or modulation ...
161
click to vote
CIE
2005
Springer
16 years 6 days ago
2005
Springer
1 and 2, and in the last Section 4 of this abstract I will outline very briefly some conclusions about recursion and complexity which I believe that they support. 1 Partial Algebr...
172
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Symbolic Trajectory Evaluation (STE) is a powerful technique for hardware model checking. It is based on a 3-valued symbolic simulation, using 0,1 and X n"), where t...
194
click to vote
AAECC
2008
Springer
15 years 6 months ago
2008
Springer
We consider unary term rewriting, i.e., term rewriting with unary signatures where all function symbols are either unary or constants. Terms over such signatures can be transformed...
183
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we propose a revisitation of the topic of unique decodability and of some fundamental theorems of lossless coding. It is widely believed that, for any discrete sourc...