2040 search results - page 116 / 408 » On the Complexity of Error Explanation |
CCR
2004
13 years 9 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
TSD
2010
Springer
13 years 7 months ago
2010
Springer
Modern speech recognition applications are becoming very complex program packages. To understand the error behaviour of the ASR systems, a special diagnosis - a procedure or a tool...
ICASSP
2011
IEEE
13 years 28 days ago
2011
IEEE
In this paper, we investigate joint network and channel decoding algorithms for the multiple-access relay channel. We consider a realistic reference scenario with Rayleigh fading ...
DAC
2001
ACM
14 years 10 months ago
2001
ACM
This paper first presents an analytical interconnect energy model with consideration of event coupling, which is not considered by the conventional 1 2CV2 model. Our energy calcul...
ICRA
1993
IEEE
14 years 1 months ago
1993
IEEE
This paper presents a new velocity blending approach to the problem of task space trajectory generation. To compare this technique with others, a generalized formulation for task ...