2040 search results - page 138 / 408 » On the Complexity of Error Explanation |
FTRTFT
2000
Springer
14 years 27 days ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
NSDI
2004
13 years 10 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
TCSV
2008
13 years 9 months ago
2008
This paper proposes a fine granularity scalable (FGS) coding using cycle-based leaky prediction, in which the multiple leaky factors are used to yield enhancement layer prediction ...
JSCIC
2007
13 years 9 months ago
2007
In this paper, we extend the adjoint error correction of Pierce and Giles [SIAM Review, 42 (2000), pp. 247-264] for obtaining superconvergent approximations of functionals to Gale...
TWC
2008
13 years 9 months ago
2008
Abstract--Assuming imperfect channel estimation, we propose an improved detector for orthogonal frequency-division multiplexing (OFDM) systems over a frequency-selective fading cha...