2040 search results - page 116 / 408 » On the Complexity of Error Explanation |
135
click to vote
CCR
2004
15 years 3 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...
126
click to vote
TSD
2010
Springer
15 years 2 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...
142
click to vote
ICASSP
2011
IEEE
14 years 7 months 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 ...
116
click to vote
DAC
2001
ACM
16 years 5 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...
124
click to vote
ICRA
1993
IEEE
15 years 8 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 ...