2584 search results - page 260 / 517 » On the Forward Checking Algorithm |
116
click to vote
AES
2008
Springer
15 years 3 months ago
2008
Springer
Artificial neural networks (ANN's) are associated with difficulties like lack of success in a given problem and unpredictable level of accuracy that could be achieved. In eve...
113
click to vote
JNW
2008
15 years 3 months ago
2008
Vehicle-to-vehicle (V2V) communication systems have been studied extensively in recent years by transportation experts worldwide. Such systems enable the transmission of warning me...
152
click to vote
ICMCS
2010
IEEE
15 years 1 months ago
2010
IEEE
One of the envisioned advantages of scalable video coding is its inherent suitability for achieving unequal error protection (UEP). UEP can be effectively used for graceful qualit...
155
click to vote
CORR
2010
Springer
15 years 17 days ago
2010
Springer
In this paper, we show that over the binary erasure channel, Quasi-Cyclic LDPC codes can efficiently accommodate the hybrid iterative/ML decoding. We demonstrate that the quasicycl...
125
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...