20294 search results - page 435 / 4059 » Algorithmic Information Theory |
200
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Although there are many efficient algorithms for calculating the simulation preorder on finite Kripke structures, only two have been proposed of which the space complexity is of t...
161
click to vote
COMBINATORICS
2004
15 years 7 months ago
2004
This paper deals with evaluating constant terms of a special class of rational functions, the Elliott-rational functions. The constant term of such a function can be read off immed...
208
click to vote
CIKM
2007
Springer
16 years 1 months ago
2007
Springer
Dictionary-based approaches to query translation have been widely used in Cross-Language Information Retrieval (CLIR) experiments. Using these approaches, translation has been not...
201
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
—We consider the problem of minimizing upper bounds and maximizing lower bounds on information rates of stationary and ergodic discrete-time channels with memory. The channels we...
190
click to vote
TWC
2008
15 years 7 months ago
2008
Abstract-- Turbo equalization improves communication system performance by iteratively exchanging information between soft-input soft-output (SISO) equalizer and SISO channel decod...