3457 search results - page 331 / 692 » A Symbol Is Not a Symbol |
205
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
203
click to vote
TCOM
2008
15 years 5 months ago
2008
Collaborative decoding is an approach that can achieve diversity and combining gain by exchanging decoding information among a cluster of physically separated receivers. On AWGN ch...
156
click to vote
JSS
2010
15 years 5 months ago
2010
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...
181
click to vote
MOBILIGHT
2010
15 years 4 months ago
2010
Abstract. A comparison between time and frequency domain TOA estimators compliant with the 802.15.4a Standard has been made. The time domain estimator is done in two stages. One ha...
185
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
For single-carrier systems with frequency domain equalization, decision feedback equalization (DFE) performs better than linear equalization and has much lower computational compl...