3457 search results - page 205 / 692 » A Symbol Is Not a Symbol |
158
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
A multisource cooperative protocol is developed capable of achieving diversity order up to the number of cooperating users at a high throughput. In this design each source jointly...
190
click to vote
STTT
2010
15 years 1 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
177
click to vote
JSA
2008
15 years 6 months ago
2008
In this paper, we present linear processor array architectures for flexible approximate string matching. These architectures are based on parallel realization of dynamic programmi...
173
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we propose a partial interference cancellation (PIC) group decoding strategy/scheme for linear dispersive space-time block codes (STBC) and a design criterion for th...
172
click to vote
IJCAI
1993
15 years 7 months ago
1993
This article describes a new system for induction of oblique decision trees. This system, OC1, combines deterministic hill-climbing with two forms of randomization to nd a good ob...