3457 search results - page 249 / 692 » A Symbol Is Not a Symbol |
143
click to vote
CAV
2007
Springer
16 years 23 days ago
2007
Springer
Three-color parity games capture the disjunction of a B¨uchi and a co-B¨uchi condition. The most efficient known algorithm for these games is the progress measures algorithm by ...
162
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
We present a novel method for state minimization of incompletely-specified finite state machines. Where classic methods simply minimize the number of states, ours directly addre...
150
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a modified discrete HMM that includes a feature weighting discrimination component. We assume that the feature space is partitioned into subspaces and that the relevan...
191
click to vote
ICC
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract—Carrier Frequency Offset (CFO) estimation is critical in practical orthogonal frequency-division multiplexing (OFDM) systems. In this paper, we propose two novel blind C...
148
click to vote
DCC
2008
IEEE
16 years 6 months ago
2008
IEEE
Let k, v, t be integers such that k v t 2. A perfect hash family PHF(N; k, v, t) can be defined as an N ? k array with entries from a set of v symbols such that every N ?t suba...